SyncGen

swMATH1988MaRDI QIDQ14536

No author found.

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Related Items (6)

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

This page was built for software: SyncGen