Algorithmic Verification of Procedural Programs in the Presence of Code Variability
This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at veri...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
KTH, Teoretisk datalogi, TCS
2014
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-149735 http://nbn-resolving.de/urn:isbn:978-91-7595-211-6 |