Revising specifications with CTL properties using bounded model checking (2008)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1007/978-3-540-88190-2_21
- Subjects: REPRESENTAÇÃO DE CONHECIMENTO; REVISÃO DE CRENÇAS; INTELIGÊNCIA ARTIFICIAL
- Keywords: model-checking; formal specification; CTL
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Revising specifications with CTL properties using bounded model checking. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88190-2_21. Acesso em: 09 jan. 2026. -
APA
Finger, M., & Wassermann, R. (2008). Revising specifications with CTL properties using bounded model checking. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88190-2_21 -
NLM
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21 -
Vancouver
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21 - Approximate and limited reasoning: semantics, proof theory, expressivity and control
- The universe of propositional approximations
- Anytime approximations of classical logic from above
- Tableaux for approximate reasoning
- The universe of approximations
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Tableaux for approximate reasoning
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
Informações sobre o DOI: 10.1007/978-3-540-88190-2_21 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
