Yeast: a case study for a practical use of formal methods

DOI10.1007/3-540-56610-4_59zbMATH Open1497.68343OpenAlexW1518310512MaRDI QIDQ5044729FDOQ5044729

Authors: P. Inverardi, Balachander Krishnamurthy, Daniel Yankelevich 

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_59

Recommendations

• scientific article; zbMATH DE number 5262134
• Verification is experimentation!
• scientific article; zbMATH DE number 1759598
• scientific article; zbMATH DE number 1104391
• scientific article; zbMATH DE number 47176

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Complexity of some problems in Petri nets
• Title not available (Why is that?)
• Petri nets are monoids
• Functional specification and proof of correctness for time dependent behaviour of reactive systems

This page was built for publication: Yeast: a case study for a practical use of formal methods

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