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

    51 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 Dive into the research topics of 'Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)'. Together they form a unique fingerprint.

  • 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