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

(16)

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

Describes a project that uses

Uses Software

• SYNTHESIS
• SyncGen

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)