A method for the verification of a distributed and synchronized algorithm

DOI10.1080/00207540412331312679zbMath1060.68071OpenAlexW2017366607MaRDI QIDQ4671275

Laurence Pilard, Brigitte Rozoy, Frederic Magniette

Publication date: 26 April 2005

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540412331312679

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)

Cites Work

• Unnamed Item
• Concurrent and maximally concurrent evolution of nonsequential systems
• Symbolic model checking: \(10^{20}\) states and beyond
• Model checking using net unfoldings

This page was built for publication: A method for the verification of a distributed and synchronized algorithm