Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393zbMATH Open1126.68472OpenAlexW4299869287MaRDI QIDQ5308403FDOQ5308403

Authors: Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno 

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/b96393

Recommendations

• An algorithmic framework for synthesis of concurrent programs
• Abstraction-guided synthesis of synchronization
• scientific article; zbMATH DE number 177266
• Implement of synchronization of concurrent objects
• scientific article; zbMATH DE number 1543321

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (6)

• An algorithmic framework for synthesis of concurrent programs
• Inferring Synchronization under Limited Observability
• Abstraction-guided synthesis of synchronization
• SyncGen
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Translating Java for multiple model checkers: The Bandera back-end

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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