Hierarchical formal verification using a hybrid tool (original) (raw)
Related papers
Implementing LTL model checking with net unfoldings
Keijo Heljanko, Javier Esparza
Lecture Notes in Computer Science, 2001
Model Checking-Based Analysis of Multiagent Systems
Lecture Notes in Computer Science, 2001
Better is better than well: On efficient verification of infinite-state systems
Logic in Computer Science, 2000. …, 2000
Satisfiability checking using Boolean Expression Diagrams
International Journal on Software Tools for Technology Transfer (STTT), 2003
Integrating Computational and Deduction Systems Using OpenMath
Electronic Notes in Theoretical Computer Science, 1999
CVC: A cooperating validity checker
Computer Aided Verification, 2002
2002
Well-Typed Logic Programs Are not Wrong
Lecture Notes in Computer Science, 2001
Runtime verification of timed LTL using disjunctive normalized equation systems
Electronic Notes in …, 2003
Formal Approaches to Software Testing and Runtime Verification
Lecture Notes in Computer Science, 2006
Polychrony for formal refinement-checking in a system-level design methodology
2003
Representing the unknown in specification languages
Verifying Pattern-Generated LTL Formulas: A Case Study
Lecture Notes in Computer Science, 2005
PROSOCS: a platform for programming software agents in computational logic
Proc. AT2AI-2004, 2004
Lecture Notes in Computer Science, 2011
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
Lecture Notes in Computer Science, 2003
Specification and validation of dynamic systems using temporal logic
IEE Proceedings - Software, 2001
≪Java≫OCL Based on New Presentation of the OCL-Syntax
Lecture Notes in Computer Science, 2002
Formal methods for extensions to CAS
FM'99Formal Methods, 1999
A Framework for Analysis of Typed Logic Programs
Lecture Notes in Computer Science, 2001
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL
2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Translating fork specification into logic programs
A compositional proof system for the modal μ-calculus
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994
Modular Formal Specification of Data and Behaviour
IFM’99, 1999
FOL: A Proof Checker for First-order Logic
1974