Login / Signup
A re-use methodology for formal SoC protocol compliance verification.
Minh D. Nguyen
Max Thalmaier
Markus Wedler
Dominik Stoffel
Wolfgang Kunz
Jörg Bormann
Published in:
FDL (2009)
Keyphrases
</>
formal analysis
formal methods
formal model
cryptographic protocols
model checker
protocol specification
model checking
coloured petri nets
lightweight
temporal logic
formal specification
tcp ip
face verification
verification method
formal verification
real time
design methodology
embedded systems
metadata