Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.

Marcelo F. Frias Carlos López Pombo Mariano M. Moscato

Published in: TACAS (2007)

Keyphrases

mechanical properties
data analysis
formal verification
image analysis
database
real world
machine learning
decision trees
high level
database systems
knowledge representation
high speed
distributed systems
model checking
concurrent systems