GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks
Efficient model checking is important in order to make this type of software verification useful for systems that are complex in their structure. If a system is too large or complex then model checking does not simply scale, i.e., it could take too much time to verify the system. This is one strong...
| Main Authors: | , |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Mälardalens högskola, Akademin för innovation, design och teknik
2012
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-14661 |