Verifying the correctness of AADL modules using model checking
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 386-400
- https://doi.org/10.1007/3-540-52559-9_72
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Modular verification of Petri NetsPublished by Springer Nature ,1990
- Modelchecking of CTL formulae under liveness assumptionsPublished by Springer Nature ,1987
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- Modalities for model checking (extended abstract)Published by Association for Computing Machinery (ACM) ,1985
- The temporal logic of branching timeActa Informatica, 1983
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972