Login / Signup
Efficient Multiple-Valued Model-Checking Using Lattice Representations.
Marsha Chechik
Benet Devereux
Steve M. Easterbrook
Albert Y. C. Lai
Victor Petrovykh
Published in:
CONCUR (2001)
Keyphrases
</>
model checking
temporal logic
multiple valued
formal verification
formal specification
automated verification
model checker
verification method
computation tree logic
epistemic logic
symbolic model checking
artificial intelligence
finite state machines
formal methods
bounded model checking
complex valued