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 techniques Provides numerous helpful examples to demonstrate the techniques Includes an extensive bibliography, with many pointers to further reading",

author = "Marieke Huisman and Anton Wijs",

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

PY - 2023

Y1 - 2023

N2 - 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

AB - 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

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