C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Temporal Logic for Input Output Symbolic Transition Systems.
Marc Aiguier
Pascale Le Gall
Delphine Longuet
Assia Touil
Published in:
APSEC (2005)
Keyphrases
</>
input output
transition systems
temporal logic
model checking
concurrent systems
state transition
modal logic
finite state
binary decision diagrams
belief revision
linear temporal logic
formal specification
formal verification
model checker
reactive systems
dynamic programming
formal methods