Tutorial: The Correctness-by-Construction Approach to Programming Using CorC

Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 languageEnglish
Title of host publicationProceedings - 2021 IEEE Secure Development Conference, SecDev 2021
PublisherInstitute of Electrical and Electronics Engineers
Pages1-2
Number of pages2
ISBN (Electronic)9781665431705
DOIs
Publication statusPublished - 2021
Event2021 IEEE Secure Development Conference, SecDev 2021 - Virtual, Online, United States
Duration: 18 Oct 202120 Oct 2021

Conference

Conference2021 IEEE Secure Development Conference, SecDev 2021
Country/TerritoryUnited States
CityVirtual, Online
Period18/10/2120/10/21

Bibliographical note

Publisher Copyright:
© 2021 IEEE.

Keywords

  • correctness-by-construction
  • formal methods
  • tutorial

Fingerprint

Dive into the research topics of 'Tutorial: The Correctness-by-Construction Approach to Programming Using CorC'. Together they form a unique fingerprint.

Cite this