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)

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

This page was built for software: SyncGen