The following pages link to SyncGen (Q14536):
Displaying 6 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Atomizer: A dynamic atomicity checker for multithreaded programs (Q924672) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- An Algorithmic Framework for Synthesis of Concurrent Programs (Q3172943) (← links)
- Logical Concurrency Control from Sequential Proofs (Q5895524) (← links)
