Title
From Model Checking to a Temporal Proof for Partial models: Preliminary Example
Department
Software Engineering and Game Development
Document Type
Article
Publication Date
6-2017
Embargo Period
8-31-2017
Abstract
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed for a critical component belonging to a medical device used by optometrists and ophthalmologists to detected visual problems.
Recommended Citation
Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; and Ghezzi, Carlo, "From Model Checking to a Temporal Proof for Partial models: Preliminary Example" (2017). Faculty Publications. 4020.
https://digitalcommons.kennesaw.edu/facpubs/4020