A Front-End Generator for Verification Tools.

Rance Cleaveland Eric Madelaine Steve Sims

Published in: TACAS (1995)

Keyphrases

model checking
back end
decision support
end users
neural network
formal methods
face verification
design decisions
software tools
machine learning
databases
evolutionary algorithm
building blocks
information technology
user friendly
digital libraries
metadata
data mining
visualization tool