Incremental model checking in the modal mu-calculus

This publication has 11 references indexed in Scilit:

• The concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systems
  Published by American Mathematical Society (AMS) ,1994
• A linear-time model-checking algorithm for the alternation-free modal mu-calculus
  Formal Methods in System Design, 1993
• Efficient local correctness checking
  Lecture Notes in Computer Science, 1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Model checking and boolean graphs
  Published by Springer Nature ,1992
• Local model checking in the modal mu-calculus
  Theoretical Computer Science, 1991
• Data flow analysis as model checking
  Published by Springer Nature ,1991
• An incremental version of iterative data flow analysis
  IEEE Transactions on Software Engineering, 1989
• Conditions for incremental iteration: Examples and counterexamples
  Science of Computer Programming, 1988
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983