Verification of an Error Correcting Code by Abstract Interpretation.
Charles HymansPublished in: VMCAI (2005)
Keyphrases
- abstract interpretation
- error correcting codes
- model checking
- termination analysis
- static analysis
- error correction
- active rules
- error correcting
- active databases
- dynamic analysis
- minimum distance
- decoding algorithm
- reasoning engine
- source code
- software engineering
- object oriented
- video sequences
- upper bound
- color images
- xml documents