DC Field
Value
Language
dc.contributor.author
Bartocci, Ezio
-
dc.contributor.author
Ramakrishnan, C.R.
-
dc.date.accessioned
2020-06-27T18:54:25Z
-
dc.date.issued
2016-08
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Bartocci, E., &#38; 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>
-
dc.identifier.issn
1433-2779
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-1451
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/1035
-
dc.description.abstract
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
-
crisitem.author.dept
Stony Brook University
-
crisitem.author.orcid
0000-0002-8004-6601
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
Appears in Collections:
Article
Thumbnail
Bartocci Ezio - 2016 - Preface of the special issue on Model Checking of...pdf
Adobe PDF
(328.11 kB)
Open Access
Show simple item record

Page view(s)

491
checked on Nov 29, 2023

Download(s)

202
checked on Nov 29, 2023

Google ScholarTM

Check