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.

This document is currently not available here.

Share

COinS