Essays about: "Statistical Model-Checking"

Found 3 essays containing the words Statistical Model-Checking.

1. 1. Probabilistic guarantees in model-checking with Time Petri Nets

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Manon Lecart; [2023]
   Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

   Abstract : 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. READ MORE

3. 2. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Jonatan Larsson; [2017]
   Keywords : UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

   Abstract : 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. READ MORE

4. 3. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

   Author : Jonatan Larsson; [2017]
   Keywords : Automatic test generation; UPPAAL SMC; Model-based testing; Mutation Analysis; MATS;

   Abstract : 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. READ MORE