Practical Verification of Embedded Software

Jørgen Staunstrup; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen; Kim G. Larsen; Gerd Behrmann; Kåre Kristoffersen; Arne Skou; Henrik Leerberg; Niels Bo Theilgaard

doi:10.1109/2.841786

Practical Verification of Embedded Software

Jørgen Staunstrup
, Henrik Reif Andersen
, Henrik Hulgaard
, Jørn Lind-Nielsen
, Kim G. Larsen
, Gerd Behrmann
, Kåre Kristoffersen
, Arne Skou
, Henrik Leerberg
, Niels Bo Theilgaard

Research output: Contribution to journal › Article › Academic

15 Citations (Scopus)

Abstract

Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC.

Original language	English
Pages (from-to)	68-75
Journal	Computer (New York)
Volume	33
Issue number	5
DOIs	https://doi.org/10.1109/2.841786
Publication status	Published - 2000
Externally published	Yes

Keywords

n/a OA procedure

Access to Document

10.1109/2.841786

Cite this

@article{187a74f63db546fd84508eaf3649b7b2,

title = "Practical Verification of Embedded Software",

abstract = "Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC.",

keywords = "n/a OA procedure",

author = "J{\o}rgen Staunstrup and Andersen, \{Henrik Reif\} and Henrik Hulgaard and J{\o}rn Lind-Nielsen and Larsen, \{Kim G.\} and Gerd Behrmann and K{\aa}re Kristoffersen and Arne Skou and Henrik Leerberg and Theilgaard, \{Niels Bo\}",

year = "2000",

doi = "10.1109/2.841786",

language = "English",

volume = "33",

pages = "68--75",

journal = "Computer (New York)",

issn = "0018-9162",

publisher = "IEEE",

number = "5",

}

TY - JOUR

T1 - Practical Verification of Embedded Software

AU - Staunstrup, Jørgen

AU - Andersen, Henrik Reif

AU - Hulgaard, Henrik

AU - Lind-Nielsen, Jørn

AU - Larsen, Kim G.

AU - Behrmann, Gerd

AU - Kristoffersen, Kåre

AU - Skou, Arne

AU - Leerberg, Henrik

AU - Theilgaard, Niels Bo

PY - 2000

Y1 - 2000

N2 - Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC.

AB - Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC.

KW - n/a OA procedure

U2 - 10.1109/2.841786

DO - 10.1109/2.841786

M3 - Article

SN - 0018-9162

VL - 33

SP - 68

EP - 75

JO - Computer (New York)

JF - Computer (New York)

IS - 5

ER -

Practical Verification of Embedded Software

Abstract

Keywords

Access to Document

Fingerprint

Cite this