Sökning: "Statistical Model-Checking"
Hittade 3 uppsatser innehållade orden Statistical Model-Checking.
1. Probabilistic guarantees in model-checking with Time Petri Nets
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER
2. Automatic Test Generation and Mutation Analysis using UPPAAL SMC
Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. LÄS MER
3. Automatic Test Generation and Mutation Analysis using UPPAAL SMC
Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. LÄS MER