Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors.
Bing XueMark ZwolinskiPublished in: PRIME (2022)
Keyphrases
- formal methods
- error detection
- low cost
- model checker
- formal analysis
- knowledge based systems
- artificial intelligence
- safety critical
- formal specification
- error correction
- temporal properties
- real time
- provably correct
- model checking
- process algebra
- software engineering
- hardware and software
- open source
- development lifecycle
- security properties
- modeling language
- relational databases
- expert systems