Tools for Parametric Verification. A Comparison on a Case Study.

Published in: J. Univers. Comput. Sci. (2004)

Keyphrases

software tools
case study
user friendly
test bed
formal methods
decision support
building blocks
model checking
information retrieval
information systems
video sequences
parametric models
signature verification