Login / Signup
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types.
Iliano Cervesato
Mark-Oliver Stehr
Published in:
WRLA (2004)
Keyphrases
</>
rewrite rules
specification language
description language
formal specification
programming language
symbolic execution
software environment
model checker
information systems
high level
open source
domain specific
dynamic environments