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

DOI10.1007/S00236-018-0320-2MaRDI QIDQ2415374zbMATH OpenOpenAlexWikidataFDO

Authors Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal

Publication date 21 May 2019

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-018-0320-2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3988724
• Verifying parallel algorithms and programs using coloured Petri nets
• scientific article; zbMATH DE number 3905851
• scientific article; zbMATH DE number 4028914
• Equivalence notions applied to designing concurrent systems with the use of Petri nets

Cites work

• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3403724 (Why is no real title available?)
• scientific article; zbMATH DE number 3200078 (Why is no real title available?)
• A path construction algorithm for translation validation using PRES+ models
• An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
• Coloured Petri Nets
• Deriving bisimulation relations from path based equivalence checkers
• Embedded System Design
• Hardness of equivalence checking for composed finite-state systems
• Program correctness: on inductive assertion methods
• Validating High-Level Synthesis
• Verification of Petri nets with read arcs
• Verifying parallel algorithms and programs using coloured Petri nets

Cited in

(5)

• scientific article; zbMATH DE number 3988724 (Why is no real title available?)
• A model reduction method for parallel software testing
• A path construction algorithm for translation validation using PRES+ models
• Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
• Translation validation of coloured Petri net models of programs on integers

Describes a project that uses

Uses Software

• GitHub
• Flamel
• PIPS
• v2c
• SamaTulyata
• PLuTo

This page was built for publication: Equivalence checking of Petri net models of programs using static and dynamic cut-points

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