Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.
Thuy NguyenTakashi TomitaJunpei EndoToshiaki AokiPublished in: Softw. Test. Verification Reliab. (2021)
Keyphrases
- pattern matching
- abstract interpretation
- model checking
- termination analysis
- static analysis
- regular expressions
- matching process
- pattern matching algorithm
- string matching
- active rules
- bit parallel
- suffix tree
- boyer moore
- metadata
- approximate pattern matching
- reasoning engine
- dynamic analysis
- data structure
- high level