melodyoncode/tooling
Tooling for Eclipse S-CORE
Repositories
melodyoncode/PyVCG
Verification Condition Generator
melodyoncode/trlc
Treat Requirements Like Code
melodyoncode/lobster
Lightweight Open BMW Software Traceability Evidence Report
melodyoncode/communication
Repository for the communication module LoLa
melodyoncode/score
Score project main repository