Abstract
The Correctness-by-Construction tutorial focuses on a structured programming approach for correct software development. Besides functional correctness, also non-functional properties such as security properties can be guaranteed using the CbC approach. In this tutorial, the participants learn a good practice to develop software that is midway between formal approaches and a 'hack into correctness' style.
Original language | English |
---|---|
Title of host publication | Proceedings - 2021 IEEE Secure Development Conference, SecDev 2021 |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 1-2 |
Number of pages | 2 |
ISBN (Electronic) | 9781665431705 |
DOIs | |
Publication status | Published - 2021 |
Event | 2021 IEEE Secure Development Conference, SecDev 2021 - Virtual, Online, United States Duration: 18 Oct 2021 → 20 Oct 2021 |
Conference
Conference | 2021 IEEE Secure Development Conference, SecDev 2021 |
---|---|
Country/Territory | United States |
City | Virtual, Online |
Period | 18/10/21 → 20/10/21 |
Bibliographical note
Publisher Copyright:© 2021 IEEE.
Keywords
- correctness-by-construction
- formal methods
- tutorial