Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Logik und Verifikation

Adresse Boltzmannstraße 3
85748 Garching
Deutschland

GERiT Diese Institution in GERiT

85748 Garching

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Antragsteller Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Deduktive Modellierung von Java
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Den Hammer härten: Mehr Integration von automatischen und interaktiven Theorembeweisern
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Formalisierung und Analyse von Verkehrsregeln
    (Antragsteller Althoff, Matthias ; Hilgendorf, Eric ; Nipkow, Ph.D., Tobias )
  - Integration der Logik HOL mit den Programmiersprachen ML und Haskell
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
    (Antragsteller Nipkow, Ph.D., Tobias ; Snelting, Gregor )
  - Tutorium zum interaktiven Beweisen in Isabelle/HOL
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Verified Proof Carrying Code
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Verifikation probabilistischer Modelle in interaktiven Theorembeweisern
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Verifikation von Zeigerprogrammen
    (Antragsteller Nipkow, Ph.D., Tobias )
  - Verifizierte Model Checker
    (Antragsteller Kretinsky, Ph.D., Jan ; Lammich, Peter )
  - Verständliche halb-automatische Beweise
    (Antragsteller Nipkow, Ph.D., Tobias )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Security Type Systems and Deduction
    (Antragsteller Nipkow, Ph.D., Tobias )
Reinhart Koselleck-Projekte
- abgeschlossene Projekte
  - Verifizierte Algorithmenanalyse
    (Antragsteller Nipkow, Ph.D., Tobias )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik
    (Sprecher Schwichtenberg, Helmut )
  - GRK 1480: PUMA Programm- und Modell-Analyse
    (Sprecher Seidl, Helmut )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science
    (Sprecher Goedicke, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz