Inferring Synchronization under Limited Observability

DOI10.1007/978-3-642-00768-2_13MaRDI QIDQ3617756zbMATH OpenOpenAlexFDO

Authors Martin Vechev, Eran Yahav, Greta Yorsh

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

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

• Abstraction-guided synthesis of synchronization
• An algorithmic framework for synthesis of concurrent programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Resource-sensitive synchronization inference by abduction
• Synchronizing the asynchronous

Cites work

• Abstraction-guided synthesis of synchronization
• Computer Aided Verification
• Edison—a multiprocessor language
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 898449 (Why is no real title available?)
• Supervisory Control of a Class of Discrete Event Processes
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Synthesis of concurrent systems for an atomic read/atomic write model of computation
• Toward a theory of maximally concurrent programs (shortened version)

Cited in

(9)

• An observer view on synchronization
• Precisely deciding control state reachability in concurrent traces with limited observability
• Resource-sensitive synchronization inference by abduction
• Graph Games and Reactive Synthesis
• Cramer-Rao bounds for synchronization of rotations
• Abstraction-guided synthesis of synchronization
• Synchronization likelihood: an unbiased measure of generalized synchronization in multivariate data sets
• Automated synthesis of asynchronizations
• Program repair without regret

Describes a project that uses

Uses Software

• SPIN

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

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