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

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

doi:10.1109/SecDev51306.2021.00012

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

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

Engineering of Software-Intensive Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	2021 IEEE Secure Development Conference, SecDev 2021
Publisher	Institute of Electrical and Electronics Engineers
Pages	1-2
Number of pages	2
ISBN (Electronic)	978-1-6654-3170-5
DOIs	https://doi.org/10.1109/SecDev51306.2021.00012
Publication status	Published - 23 Dec 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

Access to Document

10.1109/SecDev51306.2021.00012

pdfFinal published version, 222 KBLicence: TAVERNE

Cite this

@inproceedings{c9a0327d77fa4c0495de6d3e0cf7be5d,

title = "Tutorial: The Correctness-by-Construction Approach to Programming Using CorC",

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. ",

keywords = "correctness-by-construction, formal methods, tutorial",

author = "Ina Schaefer and Tobias Runge and Loek Cleophas and Watson, \{Bruce W.\}",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE Secure Development Conference, SecDev 2021 ; Conference date: 18-10-2021 Through 20-10-2021",

year = "2021",

month = dec,

day = "23",

doi = "10.1109/SecDev51306.2021.00012",

language = "English",

pages = "1--2",

booktitle = "2021 IEEE Secure Development Conference, SecDev 2021",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Schaefer, I, Runge, T, Cleophas, L & Watson, BW 2021, Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. in 2021 IEEE Secure Development Conference, SecDev 2021., 9652632, Institute of Electrical and Electronics Engineers, pp. 1-2, 2021 IEEE Secure Development Conference, SecDev 2021, Virtual, Online, United States, 18/10/21. https://doi.org/10.1109/SecDev51306.2021.00012

Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. / Schaefer, Ina; Runge, Tobias; Cleophas, Loek et al.
2021 IEEE Secure Development Conference, SecDev 2021. Institute of Electrical and Electronics Engineers, 2021. p. 1-2 9652632.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Tutorial

T2 - 2021 IEEE Secure Development Conference, SecDev 2021

AU - Schaefer, Ina

AU - Runge, Tobias

AU - Cleophas, Loek

AU - Watson, Bruce W.

PY - 2021/12/23

Y1 - 2021/12/23

N2 - 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.

AB - 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.

KW - correctness-by-construction

KW - formal methods

KW - tutorial

UR - https://www.scopus.com/pages/publications/85124347565

U2 - 10.1109/SecDev51306.2021.00012

DO - 10.1109/SecDev51306.2021.00012

M3 - Conference contribution

AN - SCOPUS:85124347565

SP - 1

EP - 2

BT - 2021 IEEE Secure Development Conference, SecDev 2021

PB - Institute of Electrical and Electronics Engineers

Y2 - 18 October 2021 through 20 October 2021

ER -

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

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this