Mosel: A flexible toolset for monadic second-order logic

This publication has 9 references indexed in Scilit:

• Symbolic model checking: 10/sup 20/ states and beyond
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A case study in verification based on trace abstractions
  Published by Springer Nature ,1996
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Automata on Infinite Objects
  Published by Elsevier ,1990
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960