Induction-Oriented Formal Verification in Symmetric Interconnection Networks.
Eric GascardLaurence PierrePublished in: CHARME (2001)
Keyphrases
- formal verification
- interconnection networks
- model checking
- fault tolerant
- model checker
- multistage
- routing algorithm
- parallel algorithm
- message passing
- automated verification
- bounded model checking
- symbolic model checking
- artificial intelligence
- distributed systems
- data processing
- higher order
- wireless sensor networks