Verification by Augmented Abstraction: The Automata–Theoretic View

This publication has 26 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Reasoning about Infinite Computations
  Information and Computation, 1994
• Completing the temporal picture
  Theoretical Computer Science, 1991
• The μ-calculus as an assertion-language for fairness arguments
  Information and Computation, 1989
• On verifying that a concurrent program satisfies a nondeterministic specification
  Information Processing Letters, 1989
• Temporal logic can be more expressive
  Information and Control, 1983
• A new solution of Dijkstra's concurrent programming problem
  Communications of the ACM, 1974
• Theories of automata on ω-tapes: A simplified approach
  Journal of Computer and System Sciences, 1974