Equivalence Checking 40 Years After: A Review of Bisimulation Tools
Hubert Garavel, Frédéric Lang
Topics & Concepts
BisimulationFormal equivalence checkingModuloEquivalence relationEquivalence (formal languages)Computer scienceModel checkingTheoretical computer scienceProbabilistic logicPreorderLogical equivalenceMarkov chainProcess calculusFormal verificationConcurrencyAbstraction model checkingCongruence relationAlgorithmAlgebra over a fieldDiscrete mathematicsProgramming languageMathematicsPure mathematicsArtificial intelligenceMachine learningFormal Methods in VerificationSoftware Reliability and Analysis ResearchLogic, programming, and type systems