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

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

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)

• SyncGen
• An algorithmic framework for synthesis of concurrent programs
• Inferring Synchronization under Limited Observability
• Abstraction-guided synthesis of synchronization
• 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)