<div class="csl-bib-body">
<div class="csl-entry">Günther, H., Laarman, A., & Weissenbacher, G. (2016). Vienna Verification Tool: IC3 for Parallel Software. In M. Chechik & J.-F. Raskin (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings</i> (pp. 954–957). Springer. https://doi.org/10.1007/978-3-662-49674-9_69</div>
</div>
The final publication is available via <a href="https://doi.org/10.1007/978-3-662-49674-9_69" target="_blank">https://doi.org/10.1007/978-3-662-49674-9_69</a>.
-
dc.description.abstract
Recently proposed extensions of the IC3 model checking algorithm offer a powerful new way to symbolically verify software. The Vienna Verification Tool (VVT) implements these techniques with the aim to tackle the problem of parallel software verification. Its SMT-based abstraction mechanisms allow VVT to deal with infinite state systems. In addition, VVT utilizes a coarse-grained large-block encoding and a variant of Lipton’s reduction to reduce the number of interleavings. This paper introduces VVT, its underlying architecture and use.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.description.sponsorship
Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWFT)
-
dc.language
English
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
model checking
en
dc.subject
multi-threading
en
dc.subject
concurrent software
en
dc.title
Vienna Verification Tool: IC3 for Parallel Software
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.relation.isbn
978-3-662-49673-2
-
dc.relation.doi
10.1007/978-3-662-49674-9
-
dc.relation.issn
0302-9743
-
dc.description.startpage
954
-
dc.description.endpage
957
-
dc.relation.grantno
S11403-N23
-
dc.relation.grantno
VRG11-005
-
dc.rights.holder
Springer-Verlag Berlin Heidelberg 2016
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
-
tuw.container.volume
9636
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.version
am
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-662-49674-9_69
-
dc.identifier.libraryid
AC11361644
-
dc.description.numberOfPages
4
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-2923
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.event.name
TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2016
-
tuw.event.startdate
02-04-2016
-
tuw.event.enddate
08-04-2016
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Eindhoven
-
tuw.event.country
NL
-
tuw.event.presenter
Günther, Henning
-
item.fulltext
with Fulltext
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E184 - Institut für Informationssysteme
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
