14 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2010★ 14 cited
Automatic Verification of Parametric Specifications with Complex Topologies
Johannes Faber, Carsten Ihlemann, Swen Jacobs +1
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica…
cs.LO2010
System Description: H-PILoT (Version 1.9)
Carsten Ihlemann, Viorica Sofronie-Stokkermans
This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions), a program for hierarchical reasoning in extensions of lo…