Login / Signup
Propositional Linear Temporal Logic and Language Homomorphisms.
Ulrich Nitsche
Published in:
LFCS (1994)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
propositional logic
programming language
specification language
temporally extended goals
first order logic
machine learning
knowledge base
high level
general purpose
test cases
linear time temporal logic