A Path Construction Algorithm for Translation Validation Using PRES+ Models

DOI10.1142/S0129626416500109zbMath1376.68097MaRDI QIDQ4598923

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

Publication date: 15 December 2017

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

zbMATH Keywords

formal verificationequivalence checkingpath coverdynamic 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)

Related Items (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