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

Marieke Huisman, Anton Wijs

Onderzoeksoutput: Boek/rapportBoekAcademic


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-2Engels
Aantal pagina's234
ISBN van elektronische versie978-3-031-30167-4
ISBN van geprinte versie978-3-031-30166-7, 978-3-031-30169-8
StatusGepubliceerd - 2023

Publicatie series

NaamTexts in Computer Science
ISSN van geprinte versie1868-0941
ISSN van elektronische versie1868-095X

Bibliografische nota

DBLP License: DBLP's bibliographic metadata records provided through 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.


Duik in de onderzoeksthema's van 'Concise Guide to Software Verification: From Model Checking to Annotation Checking'. Samen vormen ze een unieke vingerafdruk.

Citeer dit