A tool for symbolic program verification and abstraction

This publication has 14 references indexed in Scilit:

• Symbolic bisimulation minimisation
  Published by Springer Nature ,1993
• Property preserving simulations
  Published by Springer Nature ,1993
• Generating BDDs for symbolic model checking in CCS
  Published by Springer Nature ,1992
• An implementation of an efficient algorithm for bisimulation equivalence
  Science of Computer Programming, 1990
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Communicating Sequential Processes
  Published by Springer Nature ,1983
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977