christophkloeffel

AccentureMunich

Pinned Repositories

lobster
Lightweight Open BMW Software Traceability Evidence Report
Language:Python00
trlc
Treat Requirements Like Code
Language:Python00
trlc-vscode-extension
VSCode extension for TRLC
Language:Python00
trlc
Treat Requirements Like Code
Language:Python6111
lobster
Lightweight Open BMW Software Traceability Evidence Report
Language:Python178
trlc-vscode-extension
VSCode extension for TRLC
Language:Python31
PyVCG
Verification Condition Generator
Language:Python20
lobster-demo
LOBSTER Demonstration
Language:HTML00

christophkloeffel's Repositories

christophkloeffel/trlc
Treat Requirements Like Code
Language:Python
christophkloeffel/lobster
Lightweight Open BMW Software Traceability Evidence Report
Language:Python
christophkloeffel/trlc-vscode-extension
VSCode extension for TRLC
Language:Python