Automatic formal verification of DSP software.
David W. CurrieAlan J. HuSreeranga P. RajanPublished in: DAC (2000)
Keyphrases
- formal verification
- model checking
- program slicing
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- digital signal processing
- signal processing
- temporal logic
- software development
- software maintenance
- computer systems
- fully automatic
- quality assurance
- digital signal processor
- image processing
- semi automatic
- software systems
- real time
- software projects
- software testing
- high speed
- rough sets
- state space
- user interface