RAVEN: Real-Time Analyzing and Verification Environment.

Published in: J. Univers. Comput. Sci. (2001)

Keyphrases

real time
dynamic environments
mobile robot
general purpose
model checking
low cost
indoor environments
environmental conditions
real time systems
search engine
multimedia
website
multi agent
quality of service
programming environment
formal verification