Incremental model checking in the modal mu-calculus
- 1 January 1994
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 351-363
- https://doi.org/10.1007/3-540-58179-0_67
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systemsPublished by American Mathematical Society (AMS) ,1994
- A linear-time model-checking algorithm for the alternation-free modal mu-calculusFormal Methods in System Design, 1993
- Efficient local correctness checkingLecture Notes in Computer Science, 1993
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Model checking and boolean graphsLecture Notes in Computer Science, 1992
- Local model checking in the modal mu-calculusTheoretical Computer Science, 1991
- Data flow analysis as model checkingLecture Notes in Computer Science, 1991
- An incremental version of iterative data flow analysisIEEE Transactions on Software Engineering, 1989
- Conditions for incremental iteration: Examples and counterexamplesScience of Computer Programming, 1988
- Results on the propositional μ-calculusTheoretical Computer Science, 1983