Login / Signup
\chiChek: A Model Checker for Multi-Valued Reasoning.
Steve M. Easterbrook
Marsha Chechik
Benet Devereux
Arie Gurfinkel
Albert Y. C. Lai
Victor Petrovykh
Anya Tafliovich
Christopher D. Thompson-Walsh
Published in:
ICSE (2003)
Keyphrases
</>
multi valued
model checker
model checking
formal verification
formal methods
description language
temporal logic
set theory
formal specification
test suite
knowledge base
boolean functions
normal form
artificial intelligence
knowledge representation
design process
search algorithm
computer vision