Sökning: "noisy Turing machines"
Hittade 1 avhandling innehållade orden noisy Turing machines.
1. Games and Probabilistic Infinite-State Systems
Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER
Resultatsidor:
1