Presburger Arithmetic and Its Use in Verification
Presburger Arithmetic and Its Use in Verification
Presburger Arithmetic and Its Use in Verification
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
[28] C. R. Reddy <strong>and</strong> D. W. Lovel<strong>and</strong>. <strong>Presburger</strong> arithmetic with bounded quantifier<br />
alternation. In Proceed<strong>in</strong>gs of the tenth annual ACM symposium on Theory<br />
of comput<strong>in</strong>g. ACM,1978.<br />
[29] Microsoft Research. Practical Parallel <strong>and</strong> Concurrent Programm<strong>in</strong>g: Course<br />
Overview. http://ppcp.codeplex.com/, 2011.<br />
[30] Robert E. Shostak. On the SUP-INF Method for Prov<strong>in</strong>g <strong>Presburger</strong> Formulas.<br />
J. ACM, October1977.<br />
[31] Ryan Stansifer. <strong>Presburger</strong>ś Article on Integer Airthmetic: Remarks <strong>and</strong> Translation.<br />
Technical report, Cornell University, Computer Science Department,<br />
September 1984.<br />
[32] Herb Sutter. The Free Lunch Is Over: A Fundamental Turn Toward Concurrency<br />
<strong>in</strong> Software. Dr. Dobb’s Journal, 30,2005.<br />
65