Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009
Computing Stuttering Simulations
Francesco Ranzato, Francesco Tapparo
Stuttering bisimulation is a well-known behavioral equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorde…
cs.LO2007
An efficient simulation algorithm based on abstract interpretation
Francesco Ranzato, Francesco Tapparo
A number of algorithms for computing the simulation preorder are available. Let Sigma denote the state space, -> the transition relation and Psim the partition of Sigma induced by…