A case study in verification based on trace abstractions

This publication has 18 references indexed in Scilit:

• STeP: The Stanford Temporal Prover
  Lecture Notes in Computer Science, 1995
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Proving Nondeterministically Specified Safety Properties Using Progress Measures
  Information and Computation, 1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Software for Analytical Development of Communications Protocols
  AT&T Technical Journal, 1990
• A unified approach for showing language containment and equivalence between various types of ω-automata
  Published by Springer Nature ,1990
• On verifying that a concurrent program satisfies a nondeterministic specification
  Information Processing Letters, 1989
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983