ESP-MC: An Experiment in the Use of Verification Tools.

Xiaojun Chen Paola Inverardi Carlo Montangero

Published in: ASIAN (1995)

Keyphrases

model checking
verification method
software tools
genetic algorithm
multimedia
multi agent
user interface
decision support
user friendly
design decisions
formal methods
formal verification