12 citations · 25 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirabl…
cs.LO2017★ 3 cited
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
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 fo…