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 language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice |
Subtitle of host publication | 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV |
Editors | Tiziana Margaria, Bernhard Steffen |
Place of Publication | Cham |
Publisher | Springer |
Pages | 77-81 |
Number of pages | 5 |
ISBN (Electronic) | 978-3-030-03427-6 |
ISBN (Print) | 978-3-030-03426-9 |
DOIs | |
Publication status | Published - 2018 |
Event | 8th International Symposium, ISoLA 2018 - Royal Apollonia Beach Hotel, Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018 Conference number: 8 http://www.isola-conference.org/isola2018/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 11247 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 8th International Symposium, ISoLA 2018 |
---|---|
Abbreviated title | ISoLA 2018 |
Country/Territory | Cyprus |
City | Limassol |
Period | 5/11/18 → 9/11/18 |
Internet address |
Keywords
- 2019 OA procedure