Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL.
Annabelle McIverCarroll MorganPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- temporal logic
- belief revision
- model checking
- modal logic
- satisfiability problem
- propositional logic
- concurrent systems
- transition systems
- linear temporal logic
- probability distribution
- mazurkiewicz traces
- verification method
- model checker
- belief change
- bounded model checking
- temporal knowledge
- probability theory
- formal verification
- computation tree logic
- automata theoretic
- formal specification language
- formal specification