Sökning: "Per-Erik Måhl"
Hittade 1 uppsats innehållade orden Per-Erik Måhl.
1. GPU-accelerated Model Checking of Periodic Self-Suspending Real-Time Tasks
Kandidat-uppsats, Akademin för innovation, design och teknikSammanfattning : 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. LÄS MER
Resultatsidor:
1