The following pages link to (Q4804895):
Displaying 5 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Modular verification of multithreaded programs (Q557795) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- Designing checkers for programs that run in parallel (Q1911462) (← links)
- Checking a Multithreaded Algorithm with + CAL (Q3524302) (← links)