Design and formal verification of a copland-based attestation protocol.

Adam Petz Grant Jurgensen Perry Alexander

Published in: MEMOCODE (2021)

Keyphrases

formal verification
model checker
coloured petri nets
model checking
symbolic model checking
bounded model checking
case study
object oriented
first order logic
domain independent
software architecture
automated verification