SyncGen

MaRDI QIDQ14536swMATHFDO

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

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(7)

• An algorithmic framework for synthesis of concurrent programs
• Atomizer: A dynamic atomicity checker for multithreaded programs
• Highly dependable concurrent programming using design for verification
• SYNTHESIS
• Synthesis of large dynamic concurrent programs from dynamic specifications
• Logical concurrency control from sequential proofs
• Translating Java for multiple model checkers: The Bandera back-end

This page was built for software: SyncGen