Evaluating coverage of error detection logic for soft errors using formal methods.
Udo KrautzMatthias PflanzChristian JacobiHans-Werner TastKai WeberHeinrich Theodor VierhausPublished in: DATE (2006)
Keyphrases
- error detection
- formal methods
- model checker
- error correction
- error recovery
- data cleansing
- error correcting
- safety critical
- model checking
- fault tolerance
- error resilient
- formal analysis
- artificial intelligence
- formal specification
- software engineering
- test suite
- knowledge based systems
- process algebra
- fault isolation
- reactive systems
- sensor networks
- relational databases
- databases