Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.
Masahiro FujitaSreeranga P. RajanAlan J. HuPublished in: FM-Trends (1998)
Keyphrases
- formal verification
- functional verification
- coloured petri nets
- model checker
- model checking
- high speed
- bounded model checking
- cryptographic protocols
- multithreading
- automated verification
- symbolic model checking
- temporal logic
- parallel implementation
- data access
- computer architecture
- response time
- prefetching
- memory access
- program slicing
- gigabit ethernet
- low cost