Directed-simulation assisted formal verification of serial protocol and bridge.
Saurav GoraiSaptarshi BiswasLovleen BhatiaPraveen TiwariRaj S. MitraPublished in: DAC (2006)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- reliability assessment
- network simulator
- bounded model checking
- automated verification
- cryptographic protocols
- symbolic model checking
- lightweight
- formal specification
- formal methods
- program slicing
- description language
- simulation model
- functional verification