KIT – Karlsruher Institut für Technologie
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
KIT
DE
Mitarbeiter/innen
Bernhard Beckert
Publikationen
Projekte
Simone Meinhart
Lionel Blatter
Michael Kirsten
Aktivitäten
Lehre
Veröffentlichungen
Betreute Arbeiten
Jonas Klamroth
Florian Lanzinger
Wolfram Pfeifer
Jonas Schiffl
Mattias Ulbrich
Annika Vielsack
Alexander Weigl
Ralf Kölmel
Alumni/ae
Peter H. Schmitt
Christoph Gladisch
Daniel Grahl
Vladimir Klebanov
Thorsten Bormer
Simon Greiner
Tianhai Liu
Sarah Grebing
Mihai Herda
Veröffentlichungen
Software
Forschung
KASTEL
SofDCar
K
eY
COMSOC
Archiv
Lehre hoch Forschung-PLUS
Open-Source-Lehrsoftware-Labor
IMPROVE-APS
VeriSmart
DeduSec
FIfAKS
Lehre hoch Forschung
IMPROVE
GIF
USV
COST
VeriSoft XT
Studium und Lehre
Formale Systeme II: Anwendung
Fachdidaktik 1
Fachdidaktik 3
Praxis der Forschung
Aktuelle Termine und Themen
Modulinhalte, Ziele und Leistungen
Archiv aller Jahrgänge
Veröffentlichungen
Seminar Anw. Formaler Methoden
Seminar Fairness u. Diskriminierung
Forschungspraktikum
Praxis der Softwareentwicklung
Research Seminar
Archiv
Abschlussarbeiten
Startseite
Home
Impressum
Datenschutz
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Startseite
Algebraische Datentypen in KeY
Typ:
BA / MA
Datum:
2021-08-01
Betreuer:
Alexander Weigl
Aushang:
PDF
