<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Computing Computer memory Memory barrier Static single assignment form Symbolic execution Computer engineering |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Computing Computer memory Memory barrier Static single assignment form Symbolic execution Computer engineering |
Add to Reading List |
Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3