<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E., & Ramakrishnan, C. R. (2016). Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software. <i>International Journal on Software Tools for Technology Transfer</i>. https://doi.org/10.1007/s10009-016-0414-5</div>
</div>
Software Model Checking consists of a broad collection of techniques to tackle the complexity and the diversity in the use of software in safety-critical systems. The contributions in this special issue address some of the core problems in software model checking. The articles are based on papers selected from the 2013 SPIN Symposium on Model Checking of Software, an annual forum for practitioners and researchers interested in symbolic and state space-based techniques for the validation and analysis of software systems.
en
dc.language
English
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartof
International Journal on Software Tools for Technology Transfer
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Model checking
en
dc.subject
Software verification
en
dc.subject
Formal methods
en
dc.title
Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software
en
dc.type
Article
en
dc.type
Artikel
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.contributor.affiliation
Stony Brook University, United States of America (the)
-
dc.rights.holder
The Author(s) 2016
-
dc.type.category
Editorial
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
false
-
tuw.version
vor
-
dcterms.isPartOf.title
International Journal on Software Tools for Technology Transfer
-
tuw.publication.orgunit
E191 - Institut für Technische Informatik
-
tuw.publisher.doi
10.1007/s10009-016-0414-5
-
dc.date.onlinefirst
2016-02-16
-
dc.identifier.eissn
1433-2787
-
dc.identifier.libraryid
AC11360012
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-1451
-
tuw.author.orcid
0000-0002-8004-6601
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
wb.sci
true
-
item.languageiso639-1
en
-
item.openairetype
editorial
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_b239
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems