Login / Signup
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.
Iliano Cervesato
Mark-Oliver Stehr
Published in:
High. Order Symb. Comput. (2007)
Keyphrases
</>
specification language
formal specification
programming language
description language
action recognition
model checker
logic programming
software environment
machine learning
model checking
modal logic
databases
database systems
symbolic execution