Inferring Synchronization under Limited Observability

DOI10.1007/978-3-642-00768-2_13zbMath1234.68082OpenAlexW1927382928MaRDI QIDQ3617756

Eran Yahav, Greta Yorsh, Martin Vechev

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_13

Mathematics Subject Classification ID

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

Related Items (3)

Graph Games and Reactive Synthesis ⋮ Automated synthesis of asynchronizations ⋮ Program repair without regret

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of concurrent systems for an atomic read/atomic write model of computation
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Supervisory Control of a Class of Discrete Event Processes
• Edison—a multiprocessor language
• Toward a theory of maximally concurrent programs (shortened version)
• Abstraction-guided synthesis of synchronization
• Computer Aided Verification

This page was built for publication: Inferring Synchronization under Limited Observability