Towards a mechanical verification of real-time reactive systems modeled in UML.

Vangalur S. Alagar D. Muthiayen

Published in: RTCSA (2000)

Keyphrases

reactive systems
formal methods
real time
model checking
real time systems
temporal logic
knowledge based systems
low cost
state machines
software engineering
petri net
formal specification
control system
case study
software design
xml documents
control flow
artificial intelligence
machine learning