Noise Reduction in Reset Domain Crossings Verification Using Formal Verification.
Mohamed FawzyAhmed ElgoharyHala IbrahimPublished in: EWDTS (2020)
Keyphrases
- formal verification
- noise reduction
- model checking
- model checker
- signal to noise ratio
- edge detection
- automated verification
- edge preserving
- noise level
- noisy environments
- noise removal
- bounded model checking
- median filter
- wiener filter
- noise detection
- symbolic model checking
- functional verification
- edge enhancement
- noise filtering
- speech enhancement
- description language
- impulse noise
- color images
- temporal logic
- noise cancellation
- speech recognition