Sökning: "Source DPOR"
Hittade 1 avhandling innehållade orden Source DPOR.
1. Effective Techniques for Stateless Model Checking
Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER
Resultatsidor:
1