Verification by Augmented Finitary Abstraction

This publication has 9 references indexed in Scilit:

• Deductive Model Checking
  Formal Methods in System Design, 1999
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Completing the temporal picture
  Theoretical Computer Science, 1991
• Verification of concurrent programs: the automata-theoretic framework*
  Annals of Pure and Applied Logic, 1991
• The μ-calculus as an assertion-language for fairness arguments
  Information and Computation, 1989
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• Theories of automata on ω-tapes: A simplified approach
  Journal of Computer and System Sciences, 1974