Verifying Abstract Components Within Concrete Software Environments
In order to model check a software component which is not a standalone program, we need a model of the software which completes the program. This problem is important for software engineers who need to deploy an existing component into a new environment. The model is typically generated by abstracti...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2009
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/2039 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=3038&context=etd |