Incremental benchmarks for software verification tools and techniques (2008)

Cached

Download Links

by Bruce W. Weide , Murali Sitaraman , Heather K. Harton , Bruce Adcock , Paolo Bucci , Derek Bronish , Wayne D. Heym , Jason Kirschenbaum , David Frazier
Venue:Proceedings, Verified Software: Theories, Tools, Experiments (VSTTE), volume 5295 of LNCS
Citations:6 - 4 self