Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems.

Enric Pastor Marco A. Peña

Published in: CHARME (2003)

Keyphrases

concurrent systems
reachability analysis
model checking
temporal logic
software development
markov decision processes
formal specification
natural language
distributed systems
constraint satisfaction problems
optimal policy
temporal constraints
timed automata