Login / Signup

Dynamite: A tool for the verification of alloy models based on PVS.

Mariano M. MoscatoCarlos López PomboMarcelo F. Frias
Published in: ACM Trans. Softw. Eng. Methodol. (2014)
Keyphrases
  • probabilistic model
  • case study
  • database systems
  • model checking
  • formal verification
  • accurate models
  • data mining
  • genetic algorithm
  • knowledge base
  • parameter estimation
  • theorem proving