Login / Signup
An architecture-centric approach to the development of a distributed model-checker for timed automata.
Fernando Schapachnik
Víctor A. Braberman
Alfredo Olivero
Published in:
ICSE (2002)
Keyphrases
</>
model checking
timed automata
model checker
temporal logic
knowledge based systems
formal methods
formal verification
distributed systems
formal specification
artificial intelligence
software engineering
development process
theorem prover