Using PVS to analyze hierarchical state-based requirements for completeness and consistency.

Mats Per Erik Heimdahl Barbara J. Czerny

Published in: HASE (1996)

Keyphrases

database systems
similarity measure
theorem proving
user requirements
multiscale
multi agent
evolutionary algorithm
software development
consistency checking