User Activity
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
-
Modified
a wiki page
on
Specstractor
Extractor
Personal Data
- Username:
- cschulze1984
- Joined:
- 2013-03-10 18:32:29
Projects
This is a list of open source software projects that Christoph Schulze is associated with:
- Concurrency Workbench NC Automatic verification of concurrent software systems Last Updated:
-
REALSBS Sequence based specification tool Last Updated:
- Specstractor Tool chain for the automated extraction/analysis of system invariants Last Updated: