Showing cs.LOShow all
2 papers · 1 filter
cs.LO2006
Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation
Francesco Ranzato, Francesco Tapparo
The Paige and Tarjan algorithm (PT) for computing the coarsest refinement of a state partition which is a bisimulation on some Kripke structure is well known. It is also well known…
cs.LO2004
Generalized Strong Preservation by Abstract Interpretation
Francesco Ranzato, Francesco Tapparo
Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the co…