Tool-supported enhancement of diagnosis in model-driven verification
- 28 July 2009
- journal article
- research article
- Published by Springer Science and Business Media LLC in Innovations in Systems and Software Engineering
- Vol. 5 (3), 211-228
- https://doi.org/10.1007/s11334-009-0091-6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Service-Oriented Mediation with jETI/jABC: Verification and ExportPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- An Approach to Discovery with miAamics and jABCPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- FormulaBuilderPublished by Association for Computing Machinery (ACM) ,2006
- Efficient on-the-fly model-checking for regular alternation-free mu-calculusScience of Computer Programming, 2003
- Model Checking ProgramsAutomated Software Engineering, 2003
- Temporal-logic QueriesLecture Notes in Computer Science, 2000
- Property specification patterns for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1998
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- The temporal logic of branching timeActa Informatica, 1983
- Results on the propositional μ-calculusLecture Notes in Computer Science, 1982