Model-Checking Over Multi-Valued Logics

This publication has 12 references indexed in Scilit:

• Implementing a Multi-valued Symbolic Model Checker
  Published by Springer Nature ,2001
• A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation
  Published by Springer Nature ,1999
• Paraconsistent Logics
  Published by Springer Nature ,1998
• Symbolic model checking of infinite state systems using presburger arithmetic
  Published by Springer Nature ,1997
• The Mur ϕ verification system
  Published by Springer Nature ,1996
• Symbolic Model Checking
  Published by Springer Nature ,1993
• A Practical Theory of Programming
  Published by Springer Nature ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Many-Valued Logics
  Published by Springer Nature ,1992
• A Useful Four-Valued Logic
  Published by Springer Nature ,1977