Login / Signup
A model checking framework for linear time invariant switching systems using structural systems analysis.
Guilherme Ramos
Sérgio Daniel Pequito
A. Pedro Aguiar
Jaime Ramos
Soummya Kar
Published in:
Allerton (2013)
Keyphrases
</>
model checking
automated verification
reactive systems
distributed systems
knowledge based systems
finite state machines
asynchronous circuits
finite state
formal verification
linear time invariant
artifact centric