SyncGen

swMATH1988MaRDI QIDQ14536FDOQ14536

Author name not available (Why is that?)

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (6)

• An Algorithmic Framework for Synthesis of Concurrent Programs
• Highly dependable concurrent programming using design for verification
• Atomizer: A dynamic atomicity checker for multithreaded programs
• Logical Concurrency Control from Sequential Proofs
• Synthesis of large dynamic concurrent programs from dynamic specifications
• Translating Java for multiple model checkers: The Bandera back-end

This page was built for software: SyncGen