Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)

Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

13 Downloads (Pure)

Abstract

Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Subtitle of host publication8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer
Pages77-81
Number of pages5
ISBN (Electronic)978-3-030-03427-6
ISBN (Print)978-3-030-03426-9
DOIs
Publication statusPublished - 2018
Event8th International Symposium, ISoLA 2018 - Royal Apollonia Beach Hotel, Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018
Conference number: 8
http://www.isola-conference.org/isola2018/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11247
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium, ISoLA 2018
Abbreviated titleISoLA 2018
CountryCyprus
CityLimassol
Period5/11/189/11/18
Internet address

Fingerprint

Software development
Software industry
Formal methods
Software

Cite this

Felderer, M., Gurov, D., Huisman, M., Lisper, B., & Schlick, R. (2018). Formal Methods in Industrial Practice: Bridging the Gap (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (pp. 77-81). (Lecture Notes in Computer Science; Vol. 11247). Cham: Springer. https://doi.org/10.1007/978-3-030-03427-6_10
Felderer, Michael ; Gurov, Dilian ; Huisman, Marieke ; Lisper, Björn ; Schlick, Rupert. / Formal Methods in Industrial Practice : Bridging the Gap (Track Summary). Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. editor / Tiziana Margaria ; Bernhard Steffen. Cham : Springer, 2018. pp. 77-81 (Lecture Notes in Computer Science).
@inproceedings{51db492b0b004727b6262157ce2a2e4c,
title = "Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)",
abstract = "Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).",
author = "Michael Felderer and Dilian Gurov and Marieke Huisman and Bj{\"o}rn Lisper and Rupert Schlick",
year = "2018",
doi = "10.1007/978-3-030-03427-6_10",
language = "English",
isbn = "978-3-030-03426-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "77--81",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice",

}

Felderer, M, Gurov, D, Huisman, M, Lisper, B & Schlick, R 2018, Formal Methods in Industrial Practice: Bridging the Gap (Track Summary). in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Lecture Notes in Computer Science, vol. 11247, Springer, Cham, pp. 77-81, 8th International Symposium, ISoLA 2018, Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03427-6_10

Formal Methods in Industrial Practice : Bridging the Gap (Track Summary). / Felderer, Michael; Gurov, Dilian; Huisman, Marieke; Lisper, Björn; Schlick, Rupert.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. ed. / Tiziana Margaria; Bernhard Steffen. Cham : Springer, 2018. p. 77-81 (Lecture Notes in Computer Science; Vol. 11247).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Formal Methods in Industrial Practice

T2 - Bridging the Gap (Track Summary)

AU - Felderer, Michael

AU - Gurov, Dilian

AU - Huisman, Marieke

AU - Lisper, Björn

AU - Schlick, Rupert

PY - 2018

Y1 - 2018

N2 - Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).

AB - Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).

UR - http://www.scopus.com/inward/record.url?scp=85056479295&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-03427-6_10

DO - 10.1007/978-3-030-03427-6_10

M3 - Conference contribution

SN - 978-3-030-03426-9

T3 - Lecture Notes in Computer Science

SP - 77

EP - 81

BT - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham

ER -

Felderer M, Gurov D, Huisman M, Lisper B, Schlick R. Formal Methods in Industrial Practice: Bridging the Gap (Track Summary). In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Cham: Springer. 2018. p. 77-81. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-03427-6_10