SyncGen

swMATH1988MaRDI QIDQ14536FDOQ14536

Author name not available (Why is that?)

Official website: http://syncgen.projects.cis.ksu.edu/

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