Login / Signup
Transition Logic: How to Reason About Temporal Properties in a Compositional Way
Rob Gerth
Published in:
STOC (1984)
Keyphrases
</>
temporal properties
model checking
possibility theory
formal methods
temporal logic
classical logic
modal logic
genetic algorithm
logic programming
probability theory
data mining
decision trees
database systems