Incremental bounded software model checking

by Henning Günther, Georg Weissenbacher

Published in SPIN Workshop by ACM Press.

2014 p40-47

application/pdf 611.4 kB `file_2clknj3mo5cqvis2ndjcabv4vu`
application/pdf 490.9 kB `file_uq4crrucavclbaxigh4v4pa6ei`	spinroot.com (web) web.archive.org (webarchive)

Preserved and Accessible

Type paper-conference
Stage

published

Year 2014

DOI 10.1145/2632362.2632374
dblp conf/spin/GuntherW14

Container Metadata
Not in DOAJ
Not in Keepers Registry

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: 144cbb3a-04d2-4fc5-bdec-e680504528a7
API URL: JSON

Incremental bounded software model checking release_3mezvqldqrfvbg3tqexwxzzhkm