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