Login / Signup
MetaCP: Cryptographic Protocol Design Tool for Formal Verification.
Roberto Metere
Luca Arnaboldi
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
cryptographic protocols
design tools
model checking
computer aided
model checker
physical design
bounded model checking
automated verification
symbolic model checking
artificial intelligence
instructional design