Automatic Testing of Reactive Systems.

Pascal Raymond Xavier Nicollin Nicolas Halbwachs Daniel Weber

Published in: RTSS (1998)

Keyphrases

reactive systems
model checking
semi automatic
temporal logic
database
information flow
decision making
formal methods