Preprint
From model checking to a temporal proof for partial models: preliminary example
Abstract
This paper describes in detail the example introduced in the preliminary
evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of
Authors
Bernasconi A; Menghi C; Spoletini P; Zuck LD; Ghezzi C
Publication date
June 8, 2017
DOI
10.48550/arxiv.1706.02701
Preprint server
arXiv