Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308403zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(6)

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

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)