Login / Signup
Memory-Efficient Algorithms for the Verification of Temporal Properties.
Costas Courcoubetis
Moshe Y. Vardi
Pierre Wolper
Mihalis Yannakakis
Published in:
Formal Methods Syst. Des. (1992)
Keyphrases
</>
temporal properties
model checking
formal methods
temporal logic
formal specification
memory requirements
modal logic
possibility theory
main memory
knowledge based systems
neural network
pattern recognition
natural language
object oriented
building blocks