most citedAutomatic Verification of Parametric Specifications with Complex Topologies

14 citations · 14 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…