Model Checking Software

DOI10.1007/B96721MaRDI QIDQ5308378zbMATH OpenOpenAlexFDO

Authors Stefan Leue, Wei Wei, Richard M. Mayr

Publication date 28 September 2007

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

Full work available at URL https://doi.org/10.1007/b96721

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• On the complexity of buffer allocation in message passing systems
• Inferring Channel Buffer Bounds Via Linear Programming
• Bounded MSC communication
• scientific article; zbMATH DE number 2087438

Cited in

(2)

• Automated verification of automata communicating via FIFO and bag buffers
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• PROMELA

This page was built for publication: Model Checking Software

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