Formal verification of control software: A case study

Andreas Griesmayer; Roderick Paul Bloem; Martin Hautzendorfer; Franz Wotawa

doi:10.1007/11504894_108

Formal verification of control software: A case study

Andreas Griesmayer, Roderick Paul Bloem, Martin Hautzendorfer, Franz Wotawa

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Innovations in Applied Artificial Intelligence
Editors	Moonis Ali
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	783-788
Volume	3533
ISBN (Print)	3-540-26551-1
DOIs	https://doi.org/10.1007/11504894_108
Publication status	Published - 2005
Event	International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems - Bari, Italy Duration: 22 Jun 2005 → 24 Jun 2005

Publication series

Name	Lecture notes in computer science : Lecture notes in artificial intelligence
Publisher	Springer

Conference

Conference	International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Country/Territory	Italy
City	Bari
Period	22/06/05 → 24/06/05

Treatment code (Nähere Zuordnung)

Experimental

Access to Document

10.1007/11504894_108

veridacs.pdfFinal published version, 75.3 KB

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project

Cite this

Formal verification of control software: A case study. / Griesmayer, Andreas; Bloem, Roderick Paul; Hautzendorfer, Martin et al.
Innovations in Applied Artificial Intelligence. ed. / Moonis Ali. Vol. 3533 Berlin [u.a.]: Springer, 2005. p. 783-788 (Lecture notes in computer science : Lecture notes in artificial intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Griesmayer, A, Bloem, RP, Hautzendorfer, M & Wotawa, F 2005, Formal verification of control software: A case study. in M Ali (ed.), Innovations in Applied Artificial Intelligence. vol. 3533, Lecture notes in computer science : Lecture notes in artificial intelligence, Springer, Berlin [u.a.], pp. 783-788, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Bari, Italy, 22/06/05. https://doi.org/10.1007/11504894_108

@inproceedings{fbf810f16c994fb88f2b27e7d1cb76ca,

title = "Formal verification of control software: A case study",

author = "Andreas Griesmayer and Bloem, {Roderick Paul} and Martin Hautzendorfer and Franz Wotawa",

year = "2005",

doi = "10.1007/11504894_108",

language = "English",

isbn = "3-540-26551-1",

volume = "3533",

series = "Lecture notes in computer science : Lecture notes in artificial intelligence",

publisher = "Springer",

pages = "783--788",

editor = "Moonis Ali",

booktitle = "Innovations in Applied Artificial Intelligence",

note = "International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems ; Conference date: 22-06-2005 Through 24-06-2005",

}

TY - GEN

T1 - Formal verification of control software: A case study

AU - Griesmayer, Andreas

AU - Bloem, Roderick Paul

AU - Hautzendorfer, Martin

AU - Wotawa, Franz

PY - 2005

Y1 - 2005

U2 - 10.1007/11504894_108

DO - 10.1007/11504894_108

M3 - Conference paper

SN - 3-540-26551-1

VL - 3533

T3 - Lecture notes in computer science : Lecture notes in artificial intelligence

SP - 783

EP - 788

BT - Innovations in Applied Artificial Intelligence

A2 - Ali, Moonis

PB - Springer

CY - Berlin [u.a.]

T2 - International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

Y2 - 22 June 2005 through 24 June 2005

ER -

Formal verification of control software: A case study

Publication series

Conference

Treatment code (Nähere Zuordnung)

Access to Document

Projects

EU - Prosyd - Property-Based System Design

Cite this