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

Research output: Book/Report › Book › Academic

Abstract

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

Original language	English
Publisher	Springer
Number of pages	234
ISBN (Electronic)	978-3-031-30167-4
ISBN (Print)	978-3-031-30166-7, 978-3-031-30169-8
DOIs	https://doi.org/10.1007/978-3-031-30167-4
Publication status	Published - 2023

Publication series

Name	Texts in Computer Science
ISSN (Print)	1868-0941
ISSN (Electronic)	1868-095X

Access to Document

10.1007/978-3-031-30167-4

Cite this

@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

Abstract

Publication series

Access to Document

Fingerprint

Cite this