R Gentilini

Latest

• Rank-Based Simulation on Acyclic Graphs
• Computing strongly connected components in a linear number of symbolic steps
• Rank-Based Symbolic Bisimulation (and Model Checking)
• Simulation Reduction as Constraint