Timed Temporal Logics for Abstracting Transient States.
Houda Bel MokademBéatrice BérardPatricia BouyerFrançois LaroussiniePublished in: ATVA (2006)
Keyphrases
- temporal logic
- model checking
- finite state machines
- mazurkiewicz traces
- modal logic
- steady state
- concurrent systems
- verification method
- satisfiability problem
- petri net
- belief revision
- computation tree logic
- predicate logic
- transition systems
- temporal knowledge
- formal specification
- markov chain
- linear temporal logic
- temporal resolution
- belief state
- finite state
- multi agent systems