17 citations · 35 across the 4 of their papers we have counts for
4 papers
Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Monotonic abstraction is a technique introduced in model checking parameterized distributed systems in order to cope with transitions containing global conditions within guards. Th…
Resolution Proof Transformation for Compression and Interpolation
S. F. Rollini, R. Bruttomesso, N. Sharygina +1
Verification methods based on SAT, SMT, and Theorem Proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort…
Lazy abstractions for timed automata
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones. For efficiency…
Interpolation Properties and SAT-based Model Checking
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina
Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstrac…