Model Checking for Programming Languages using VeriSoft (1997)

Cached

Download Links

by Patrice Godefroid
Venue:IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:369 - 12 self

Document Versions

Model Checking for Programming Languages using VeriSoft –Patrice Godefroid — 1997 — IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES