Skip to content
@KIT-TVA

Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA)

@ Karlsruher Institute of Technology (KIT)

Popular repositories Loading

  1. CorC CorC Public

    Tool Support for Correctness-by-Construction

    Java 27 11

  2. WebCorC WebCorC Public

    Java 4 1

  3. cfmtoolbox cfmtoolbox Public

    A plugin-based toolbox for working with cardinality-based feature models

    Python 4

  4. qc-configuration-problem qc-configuration-problem Public

    Repository serves as playground for the configuration problem in QuBRA

    Python 1

  5. TaxonomyMining TaxonomyMining Public

    Java

  6. ArchiCorC2 ArchiCorC2 Public

    Java

Repositories

Showing 10 of 15 repositories
  • CorC Public

    Tool Support for Correctness-by-Construction

    KIT-TVA/CorC’s past year of commit activity
    Java 27 11 0 1 Updated Dec 25, 2024
  • WebCorC Public
    KIT-TVA/WebCorC’s past year of commit activity
    Java 4 Apache-2.0 1 3 0 Updated Dec 24, 2024
  • quantum-pattern-detector Public

    Code for the paper "Quantum Pattern Detection: Accurate State- and Circuit-based Analyses"

    KIT-TVA/quantum-pattern-detector’s past year of commit activity
    OpenQASM 0 0 0 0 Updated Dec 23, 2024
  • cfmtoolbox Public

    A plugin-based toolbox for working with cardinality-based feature models

    KIT-TVA/cfmtoolbox’s past year of commit activity
    Python 4 MIT 0 0 1 Updated Nov 21, 2024
  • TaxonomyMining Public
    KIT-TVA/TaxonomyMining’s past year of commit activity
    Java 0 0 0 0 Updated Nov 12, 2024
  • superc Public Forked from appleseedlab/superc

    The SuperC Parsing Framework

    KIT-TVA/superc’s past year of commit activity
    C 0 4 0 0 Updated Aug 31, 2024
  • solution-space-realisation-checker Public
    KIT-TVA/solution-space-realisation-checker’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Aug 15, 2024
  • tva-thesis-template Public

    template for student thesis (e.g. bachelor thesis)

    KIT-TVA/tva-thesis-template’s past year of commit activity
    TeX 0 GPL-3.0 1 0 0 Updated Apr 9, 2024
  • qc-configuration-problem Public

    Repository serves as playground for the configuration problem in QuBRA

    KIT-TVA/qc-configuration-problem’s past year of commit activity
    Python 1 MIT 0 3 0 Updated Mar 13, 2024
  • vrp-meta-solver Public Forked from LucasBerger/quantum-vrp

    Bachelor Thesis of Lucas Berger

    KIT-TVA/vrp-meta-solver’s past year of commit activity
    Rust 0 2 0 0 Updated Mar 11, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…