Proving Real-Time Properties of Programs with Temporal Logic.
Arthur J. BernsteinPaul K. Harter Jr.Published in: SOSP (1981)
Keyphrases
- temporal logic
- real time
- model checking
- satisfiability problem
- temporal properties
- modal logic
- concurrent systems
- linear temporal logic
- transition systems
- belief revision
- mazurkiewicz traces
- verification method
- model checker
- real time systems
- formal verification
- bounded model checking
- computation tree logic
- automata theoretic
- finite state