Specifying and verifying reactive systems in a multi-language environment.

Agathe Merceron Monika Müllerburg G. Michele Pinna

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

reactive systems
model checking
information flow
temporal logic
formal methods
petri net
language learning
robotic agents
real time
dynamic environments
programming language
mobile robot
natural language
programming environment
database systems
error rate
low cost
real time systems
state machines
databases