An algorithmic framework for synthesis of concurrent programs

DOI10.1007/978-3-642-24372-1_41MaRDI QIDQ3172943zbMATH OpenOpenAlexFDO

Authors Roopsha Samanta, E. Allen Emerson

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24372-1_41

Mathematics Subject Classification ID

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

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Abstraction-guided synthesis of synchronization
• Synthesizing concurrent programs using answer set programming
• scientific article; zbMATH DE number 1361120
• Synthesis of large dynamic concurrent programs from dynamic specifications

Cited in

(15)

• scientific article; zbMATH DE number 1830933 (Why is no real title available?)
• Inferring Synchronization under Limited Observability
• Abstraction-guided synthesis of synchronization
• Tools and Algorithms for the Construction and Analysis of Systems
• Synthesizing concurrent programs using answer set programming
• Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
• Structured Derivation of Semi-Synchronous Algorithms
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Synthesising correct concurrent runtime monitors
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Synthesis of large dynamic concurrent programs from dynamic specifications
• scientific article; zbMATH DE number 177266 (Why is no real title available?)
• A systematic approach to language constructs for concurrent programs
• Code aware resource management
• scientific article; zbMATH DE number 3976309 (Why is no real title available?)

Describes a project that uses

Uses Software

• SyncGen
• SYNTHESIS

This page was built for publication: An algorithmic framework for synthesis of concurrent programs

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