Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA)
Popular repositories Loading
-
cfmtoolbox
cfmtoolbox PublicA plugin-based toolbox for working with cardinality-based feature models
Python 5
-
qc-configuration-problem
qc-configuration-problem PublicAddressing the Configuration Problem via Quantum Computing
Python 1
-
Vari-Joern
Vari-Joern PublicAn analysis platform for vulnerability discovery in highly-configurable software systems.
Repositories
- WebCorC Public
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
- abstools-secrecy Public
- joern Public Forked from joernio/joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
- cps-communicator Public
A tool to translate model-specific change descriptions into model-independent change descriptors and assessments.
-
- cfmtoolbox-webeditor Public
- LLMbasedSynthesisCbC Public
Evaluation of paper "LLM-based Program Synthesis in Correctness-by-Construction Engineering" by Kodetzki, Grimm, Demmler, Schaefer.
- codepropertygraph Public Forked from ShiftLeftSecurity/codepropertygraph
Code Property Graph: specification, query language, and utilities
Top languages
Loading…
Most used topics
Loading…