timed automata hybrid automata formal verification model checking tool
Rabbit discretization BDD real-time systems continuous systems Dirk
Beyer Paper Research Softwaretechnik software engineering
software engineering, formal
methods, formal verification, BDD, binary decision diagram, real time
system, real-time system, model checking, BDD-based, reachability
analysis, timed automata, hybrid automata, protocol verification,
decision diagrams, clock difference diagrams, real-time verification,
embedded systems, Rabbit tool, Cottbus Timed Automata, Flattening,
CrocoPat tool, discretization, efficient data structures, variable
order, variable ordering, Fischer protocol, CSMA/CD protocol, FDDI
token ring protocol, refinement checking, BDD-based verification,
modular, modularity, software quality, program comprehension, program
analysis, software analysis, design analysis, pattern analysis, object
oriented programs, pattern recognition, relational algebra, relational
querying, object technology, software specification, timed automata,
hybrid automata, formal verification, model checking, tool Rabbit,
discretization, BDD, real-time systems, continuous systems, Dirk
Beyer, Paper, Research, Softwaretechnik, software engineering