Verification of Boolean Programs with Unbounded Thread Creation
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Details
| Journal |
Theoretical Computer Science (TCS) |
| Pages |
227–242 |
| Publisher |
Elsevier |
| Volume |
388 |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |
Foundations, Logic and Structures | Software Engineering | Verification |