Formal Verification of the HAL S1 System Cache Coherence Protocol.
Alan J. HuMasahiro FujitaChris WilsonPublished in: ICCD (1997)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- bounded model checking
- symbolic model checking
- temporal logic
- automated verification
- program slicing
- description language
- lightweight
- formal methods
- functional verification
- boolean functions
- open source
- software engineering