Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

Sebastian S. Bauer Rolf Hennicker Stephan Janisch

Published in: FIT (2010)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
user interface
model checker
formal verification
formal specification
reactive systems
gigabit ethernet
formal methods
distributed systems
domain independent
fully observable
artificial intelligence