Abstract
Deductive software verification aims at formally verifying that all possible behaviors of a given program satisfy formally defined, complex properties, where the verification process is based on logical inference. We list the most important challenges for the further development of the field.
| Original language | English |
|---|---|
| Title of host publication | ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 |
| Editors | Giles Reger, Dmitriy Traytel |
| Publisher | EasyChair |
| Pages | 37-41 |
| Number of pages | 5 |
| Publication status | Published - 2017 |
| Event | 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Gothenburg, Sweden Duration: 6 Aug 2017 → 6 Aug 2017 Conference number: 1 |
Publication series
| Name | EPiC Series in Computing |
|---|---|
| Publisher | EasyChair |
| Volume | 51 |
Workshop
| Workshop | 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements |
|---|---|
| Abbreviated title | ARCADE 2017 |
| Country/Territory | Sweden |
| City | Gothenburg |
| Period | 6/08/17 → 6/08/17 |