Login / Signup
An Application of Temporal Logic for Representation and Reasoning about Design.
Keiichi Nakata
Published in:
Logic at Work (1992)
Keyphrases
</>
temporal logic
model checking
design process
modal logic
model checker
satisfiability problem
formal methods
formal specification language
video sequences
data model
knowledge based systems
epistemic logic
reactive systems
verification method
concurrent systems
computation tree logic