Experience using ASIS for specialized verification tools.

Cheryl Barbasch

Published in: WADAS (1993)

Keyphrases

formal methods
software tools
general purpose
case study
genetic algorithm
multimedia
user friendly
programming skills
database
learning curve
model checking
building blocks
end users
relational databases
multi agent
decision trees
social networks