KIT-TVA/CorC: CorC

20260 citationsOthergreen Open Access

Authors

Fynn Demmler

Runge93

Maximilian Kodetzki · Karlsruhe Institute of Technology

Jakob Jarebica · Kyungnam College of Information and Technology

Thomas Thüm · Technische Universität Braunschweig

Abstract

Eclipse-based CorC for Correctness-by-Construction software development. Supports object-oriented projects, software product lines, and the roundtrip engineering process.

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18349390

Command Palette

KIT-TVA/CorC: CorC

Authors

Abstract

Topics & Keywords

Publication Details