A Generic Approach to the Static Analysis of Concurrent Programs with Procedures.
Ahmed BouajjaniJavier EsparzaTayssir TouiliPublished in: Int. J. Found. Comput. Sci. (2003)
Keyphrases
- static analysis
- concurrent programs
- dynamic analysis
- source code
- symbolic execution
- concurrent programming
- java card
- regular expressions
- process algebra
- test suite
- abstract interpretation
- artificial intelligence
- natural language
- concurrent processes
- asynchronous circuits
- case study
- model checking
- pattern matching
- response time