Formal verification of a theory of packages.

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases

formal verification
model checking
bounded model checking
model checker
symbolic model checking
general theory
information systems
automated verification
functional verification
genetic algorithm
case study
expert systems
real valued
temporal logic
theoretical basis