A path construction algorithm for translation validation using PRES+ models

DOI10.1142/S0129626416500109MaRDI QIDQ4598923zbMATH OpenFDO

Authors Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal, Kunal Banerjee, Krishnam Raju Duddu

Publication date 15 December 2017

Published in Parallel Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129626416500109

zbMATH Keywords

path coverformal verificationequivalence checkingdynamic cut-pointsPRES+ models

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Synthesizing and verifying multicore parallelism in categories of nested code graphs
• Certifiably Sound Parallelizing Transformations
• scientific article; zbMATH DE number 1746649
• scientific article; zbMATH DE number 1796139

Cited in

(2)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• Translation validation of coloured Petri net models of programs on integers

This page was built for publication: A path construction algorithm for translation validation using PRES+ models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598923)