STAMINA: Stochastic Approximate Model-Checker for Infinite-State Analysis
Reliable operation of every day use computing system, from simple coffee machines to complex flight controller system in an aircraft, is necessary to save time, money, and in some cases lives. System testing can check for the presence of unwanted execution but cannot guarantee the absence of such. P...
Main Author: | |
---|---|
Format: | Others |
Published: |
DigitalCommons@USU
2019
|
Subjects: | |
Online Access: | https://digitalcommons.usu.edu/etd/7607 https://digitalcommons.usu.edu/cgi/viewcontent.cgi?article=8740&context=etd |