TUBS-ISF/CorC TUBS-ISF/CorC

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Java
  • Created over 6 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TUBS-ISF/CorC
github

TUBS-ISF

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tool Support for Correctness-by-Construction

More Repositories

1

e4CompareFramework

A framework for the rapid development of prototypes.
Java
5
star
2

AutoSMP

Java
4
star
3

IEC_61131_3_Clone_Detection

Java
2
star
4

spl2015.hendrik.juechter

Java
1
star
5

2019WS-SE1-Calculator

An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture
Java
1
star
6

WebCorC

JavaScript
1
star
7

BCS-Case-Study-Full

A collection of artifacts for the body comfort system case study.
Java
1
star
8

spl2015.jewgeni.rose

Java
1
star
9

spl2015.henrik.lange

Java
1
star
10

SPL2018.Project.16

Java
1
star
11

SPL2018.Project.05

Java
1
star
12

SPL2018.Project.06

Java
1
star
13

SPL2018.Project.07

Java
1
star
14

SamplingStabiltyVaMoS21_data

1
star
15

SamplingStabilityVaMoS21_Tools

Java
1
star
16

SPL2018.Project.12

Java
1
star
17

2020WS-SE1-ProjectExplorer

# 2020WS-SE1-ProjectExplorer An example project to illustrate coding guidelines and design patterns in a software engineering lecture
Java
1
star
18

Stability-of-Productline-Sampling

This Repository contains assests for the Paper Stability of Productline Sampling in Continuous Integration
1
star
19

ArchiCorC

Java
1
star