VeriMAP: A Tool for Verifying Programs through Transformations.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: TACAS (2014)

Keyphrases

software tools
genetic algorithm
artificial intelligence
decision trees
real world
knowledge base
image processing
model checking
user friendly
free software