Login / Signup
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