From Verification to Explanation (Track Introduction)
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Abstract
It is becoming the norm that software artefacts participate in actions and decisions that affect humans. This trend has been catching momentum for decades, and is now amplified considerably by the remarkable abilities of machine-learnt methods.
Details
| Original language | English |
|---|---|
| Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation |
| Editors | Tiziana Margaria, Bernhard Steffen |
| Publisher | Springer, Berlin [u. a.] |
| Pages | 1-7 |
| Number of pages | 7 |
| ISBN (print) | 978-3-030-83722-8 |
| Publication status | Published - 2021 |
| Peer-reviewed | Yes |
Publication series
| Series | Lecture Notes in Computer Science, Volume 12479 |
|---|---|
| ISSN | 0302-9743 |
Conference
| Title | 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 |
|---|---|
| Duration | 20 - 30 October 2020 |
| Degree of recognition | International event |
| City | Rhodes |
| Country | Greece |
External IDs
| ORCID | /0000-0002-5321-9343/work/142236757 |
|---|