Dynamic Dead Variable Analysis
Dynamic dead variable analysis (DDVA) extends traditional static dead variable analysis (SDVA) in the context of model checking through the use of run-time information. The analysis is run multiple times during the course of model checking to create a more precise set of dead variables. The DDVA is...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2005
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/639 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1638&context=etd |