Symbolic model checking of infinite state systems using Presburger arithmetic
| Title | Symbolic model checking of infinite state systems using Presburger arithmetic |
| Publication Type | Conference Papers |
| Year of Publication | 1997 |
| Authors | Bultan T, Gerber R, Pugh W |
| Conference Name | Computer Aided Verification |
| Date Published | 1997/// |