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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Samenvatting

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.

Originele taal-2	Engels
Titel	Proceedings - 2021 IEEE Secure Development Conference, SecDev 2021
Uitgeverij	Institute of Electrical and Electronics Engineers
Pagina's	1-2
Aantal pagina's	2
ISBN van elektronische versie	9781665431705
DOI's	https://doi.org/10.1109/SecDev51306.2021.00012
Status	Gepubliceerd - 2021
Evenement	2021 IEEE Secure Development Conference, SecDev 2021 - Virtual, Online, Verenigde Staten van Amerika Duur: 18 okt. 2021 → 20 okt. 2021

Congres

Congres	2021 IEEE Secure Development Conference, SecDev 2021
Land/Regio	Verenigde Staten van Amerika
Stad	Virtual, Online
Periode	18/10/21 → 20/10/21

Bibliografische nota

Publisher Copyright:
© 2021 IEEE.

Toegang tot document

10.1109/SecDev51306.2021.00012

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

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

doi = "10.1109/SecDev51306.2021.00012",

language = "English",

pages = "1--2",

booktitle = "Proceedings - 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 Proceedings - 2021 IEEE Secure Development Conference, SecDev 2021. Institute of Electrical and Electronics Engineers, blz. 1-2, 2021 IEEE Secure Development Conference, SecDev 2021, Virtual, Online, Verenigde Staten van Amerika, 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.
Proceedings - 2021 IEEE Secure Development Conference, SecDev 2021. Institute of Electrical and Electronics Engineers, 2021. blz. 1-2.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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

Y1 - 2021

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 - http://www.scopus.com/inward/record.url?scp=85124347565&partnerID=8YFLogxK

U2 - 10.1109/SecDev51306.2021.00012

DO - 10.1109/SecDev51306.2021.00012

M3 - Conference contribution

AN - SCOPUS:85124347565

SP - 1

EP - 2

BT - Proceedings - 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

Samenvatting

Congres

Bibliografische nota

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit