Deriving bisimulation relations from path based equivalence checkers

DOI10.1007/s00165-016-0406-yzbMath1358.68067OpenAlexW2559705703MaRDI QIDQ520250

Kunal Banerjee, Dipankar Sarkar, Chittaranjan Mandal

Publication date: 3 April 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0406-y

zbMATH Keywords

bisimulation relationpath-based equivalence checkertranslation validationvalue propagation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Equivalence checking of Petri net models of programs using static and dynamic cut-points

Cites Work

• Validating High-Level Synthesis
• Sparse code motion
• Unnamed Item