Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.
Sofiène TaharZijian ZhouXiaoyu SongEduard CernyMichel LangevinPublished in: Great Lakes Symposium on VLSI (1996)
Keyphrases
- formal verification
- model checking
- functional verification
- model checker
- bounded model checking
- decision making
- automated verification
- graph matching
- decision rules
- series parallel
- graph theoretic
- decision makers
- symbolic model checking
- binary trees
- graph theory
- temporal logic
- graph mining
- atm networks
- high speed
- program slicing
- formal specification
- directed graph
- web services