Automating Modular Verification.

Rajeev Alur Luca de Alfaro Thomas A. Henzinger Freddy Y. C. Mang

Published in: CONCUR (1999)

Keyphrases

model checking
real time
formal verification
web services
verification method
modular structure
data sets
real world
genetic algorithm
case study
formal methods
high security
modular neural network