KIT - Karlsruhe Institute of Technology
image/svg+xml
Test, Validation and Analysis of Software-Intensive Systems
skip navigation
Home
Legals
Data Protection
Accessibility
Sitemap
KIT
de
search
search
Research
Start
Research
Research
Correctness-by-Construction (CbC)
ProvideQ
QuBRA
Szenario-basiertes Testen
EasyUp
Teaching
Start
Teaching
Teaching
Overview
Courses
Start
Teaching
Courses
Courses
Summer term 2025
Winter term 2024/25
Summer term 2024
Winter term 2023/24
Summer term 2023
Winter term 2022/23
Summer term 2022
Theses
Team
Start
Team
Team
Alumni
Open Positions
Activities
Start
Activities
Activities
KASTEL Scientific Evaluation 2025
Quantum Software Engineering MeetUp 2025
Priority Programme 2514: Quantum Software, Algorithms and Systems
Quantum Software Engineering MeetUp 2024
IFIP Working Group on Foundations of Quantum Computation
WAKERS 2023
Startpage
Home
Legals
Data Protection
Accessibility
Sitemap
search
search
Test, Validation and Analysis of Software-Intensive Systems
Startpage
Home
Research
Teaching
Team
Open Positions
Activities
Home
Home
Research
Correctness-by-Construction (CbC)
ProvideQ
QuBRA
Szenario-basiertes Testen
EasyUp
Teaching
Overview
Courses
Summer term 2025
Winter term 2024/25
Summer term 2024
Winter term 2023/24
Summer term 2023
Winter term 2022/23
Summer term 2022
Theses
Team
Alumni
Open Positions
Activities
KASTEL Scientific Evaluation 2025
Quantum Software Engineering MeetUp 2025
Priority Programme 2514: Quantum Software, Algorithms and Systems
Quantum Software Engineering MeetUp 2024
IFIP Working Group on Foundations of Quantum Computation
WAKERS 2023
