OpenSEA: Semi-Formal Methods for Soft Error Analysis.
Patrick KlampflRobert KönighoferRoderick BloemAyrat KhalimovAiman Abu-YonisShiri MoranPublished in: CoRR (2017)
Keyphrases
- error analysis
- formal methods
- least squares
- model checker
- formal analysis
- provably correct
- process algebra
- formal specification
- error correction
- cross ratio
- model checking
- software engineering
- knowledge based systems
- safety critical
- artificial intelligence
- development lifecycle
- security properties
- object oriented
- computer vision