Logics and Algorithms for Verification of Concurrent Systems
In this thesis we investigate how the known framework of automatic formal verification by model checking can be extended in different directions. One extension is to go beyond the common limitation of the existing specification formalisms, that they can describe only regular properties of components...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Uppsala universitet, Avdelningen för datalogi
2012
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-179847 http://nbn-resolving.de/urn:isbn:978-91-554-8447-7 |