Login / Signup
Dealing with practical limitations of distributed timed model checking for timed automata.
Víctor A. Braberman
Alfredo Olivero
Fernando Schapachnik
Published in:
Formal Methods Syst. Des. (2006)
Keyphrases
</>
timed automata
model checking
temporal logic
reachability analysis
formal verification
temporal properties
model checker
distributed systems
symbolic model checking
formal specification
multi agent
verification method
epistemic logic
finite state
cooperative
formal methods
partial order reduction
transition systems
finite state machines
theorem prover
pspace complete
concurrent systems
linear temporal logic
real time
automated verification
computation tree logic
satisfiability problem
first order logic
expert systems
theorem proving
bounded model checking