Translation validation of coloured Petri net models of programs on integers

DOI10.1007/s00236-022-00419-zOpenAlexW4225817524MaRDI QIDQ2089749

Soumyadip Bandyopadhyay, Holger Giese, Chittaranjan Mandal, Dipankar Sarkar

Publication date: 24 October 2022

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-022-00419-z

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• CompCertTSO
• PLuTo
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• A method for stepwise refinement and abstraction of Petri nets
• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Certifiably Sound Parallelizing Transformations
• Validating High-Level Synthesis
• Coloured Petri Nets
• Communicating sequential processes
• A Path Construction Algorithm for Translation Validation Using PRES+ Models
• CompCertTSO

This page was built for publication: Translation validation of coloured Petri net models of programs on integers