Minimal model generation

This publication has 7 references indexed in Scilit:

• An implementation of an efficient algorithm for bisimulation equivalence
  Science of Computer Programming, 1990
• Verification of synchronous sequential machines based on symbolic execution
  Published by Springer Nature ,1990
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• CCS expressions, finite state processes, and three problems of equivalence
  Published by Association for Computing Machinery (ACM) ,1983
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983