Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman; Anton Wijs

doi:10.1007/978-3-031-30167-4

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

Onderzoeksoutput: Boek/rapport › Boek › Academic

Samenvatting

Covers an unusually broad spectrum of software verification techniques

Provides numerous helpful examples to demonstrate the techniques

Includes an extensive bibliography, with many pointers to further reading

Originele taal-2	Engels
Uitgeverij	Springer
Aantal pagina's	234
ISBN van elektronische versie	978-3-031-30167-4
ISBN van geprinte versie	978-3-031-30166-7, 978-3-031-30169-8
DOI's	https://doi.org/10.1007/978-3-031-30167-4
Status	Gepubliceerd - 2023

Publicatie series

Naam	Texts in Computer Science
ISSN van geprinte versie	1868-0941
ISSN van elektronische versie	1868-095X

Bibliografische nota

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Toegang tot document

10.1007/978-3-031-30167-4

Citeer dit

@book{4684756607a14779bfee98815462a6b5,

title = "Concise Guide to Software Verification: From Model Checking to Annotation Checking",

abstract = "Covers an unusually broad spectrum of software verification techniquesProvides numerous helpful examples to demonstrate the techniquesIncludes an extensive bibliography, with many pointers to further reading",

author = "Marieke Huisman and Anton Wijs",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2023",

doi = "10.1007/978-3-031-30167-4",

language = "English",

isbn = "978-3-031-30166-7",

series = "Texts in Computer Science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Concise Guide to Software Verification

T2 - From Model Checking to Annotation Checking

AU - Huisman, Marieke

AU - Wijs, Anton

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2023

Y1 - 2023

N2 - Covers an unusually broad spectrum of software verification techniquesProvides numerous helpful examples to demonstrate the techniquesIncludes an extensive bibliography, with many pointers to further reading

AB - Covers an unusually broad spectrum of software verification techniquesProvides numerous helpful examples to demonstrate the techniquesIncludes an extensive bibliography, with many pointers to further reading

U2 - 10.1007/978-3-031-30167-4

DO - 10.1007/978-3-031-30167-4

M3 - Book

SN - 978-3-031-30166-7

SN - 978-3-031-30169-8

T3 - Texts in Computer Science

BT - Concise Guide to Software Verification

PB - Springer

ER -

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Samenvatting

Publicatie series

Bibliografische nota

Toegang tot document

Vingerafdruk

Citeer dit