Report on the UCD Microcoded Viper Verification Project.

Tej Arora Tony Leung Karl N. Levitt E. Thomas Schubert Phillip J. Windley

Published in: HUG (1993)

Keyphrases

case study
model checking
project management
data mining
decision trees
digital archives
metadata
website
clustering algorithm
expert systems
software development
team members
current status
european project