Error-Tolerant Processors: Formal Specification and Verification.
Ameneh GolnariYakir VizelSharad MalikPublished in: ICCAD (2015)
Keyphrases
- formal specification
- error tolerant
- model checking
- concurrent systems
- formal methods
- model checker
- graph matching
- protocol specification
- temporal logic
- formal verification
- process algebra
- object oriented design
- grid workflow
- subgraph isomorphism
- data analysis
- case study
- reverse engineering
- databases
- software components
- object oriented