LISA: A specification language based on WS2S

This publication has 16 references indexed in Scilit:

• Symbolic model checking with rich assertional languages
  Published by Springer Nature ,1997
• Mosel: A flexible toolset for monadic second-order logic
  Published by Springer Nature ,1997
• A case study in verification based on trace abstractions
  Published by Springer Nature ,1996
• Mona: Monadic second-order logic in practice
  Published by Springer Nature ,1995
• Hardware verification using monadic second-order logic
  Published by Springer Nature ,1995
• STeP: The Stanford Temporal Prover
  Lecture Notes in Computer Science, 1995
• A feature constraint system for logic programming with entailment
  Theoretical Computer Science, 1994
• Alternation
  Journal of the ACM, 1981
• On equations for regular languages, finite automata, and sequential networks
  Theoretical Computer Science, 1980
• Delayed-logic and finite-state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1961