Debugging concurrent programs using static analysis and run-time hardware monitoring.
D. K. ArvindD. YokotsukaPublished in: SPDP (1991)
Keyphrases
- static analysis
- concurrent programs
- dynamic analysis
- real time
- hardware designs
- source code
- abstract interpretation
- concurrent programming
- process algebra
- web applications
- computer systems
- reverse engineering
- formal specification
- concurrent processes
- database
- model checking
- computing systems
- test suite
- programming language
- general purpose