18 citations · 31 across the 7 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 4 cited
Finite countermodels for safety verification of parameterized tree systems
Alexei Lisitsa
In this paper we deal with verification of safety properties of parameterized systems with a tree topology. The verification problem is translated to a purely logical problem of fi…
cs.LO2011
First-order finite satisfiability vs tree automata in safety verification
Alexei Lisitsa
In this paper we deal with verification of safety properties of term-rewriting systems. The verification problem is translated to a purely logical problem of finding a finite count…