Automatic Proofs of Protocols via Program Transformation.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: MSRAS (2004)

Keyphrases

computer programs
program execution
data driven
fully automatic
artificial intelligence
semi automatic
learning algorithm
theorem prover
theorem proving
linear transformation
communication protocol
communication protocols