Forgot your password?
New user?
Document Actions
Dynamic Analysis
Up one levelTechniques for checking program runs against specifications.
For example unproved proof obligations left over from proofs.
- Roadmap discussion by Klaus Havelund — last modified 2006-04-16 15:10
- Dynamic Analysis Roadmap — last modified 2006-04-19 00:37
- Background
- Dynamic Program Analysis by Klaus Havelund — last modified 2006-04-16 15:23
- A brief overview of the subject.
