Project Details
Person
Professor Jan Kretinsky, Ph.D.
Address
Masarykova Univerzita
Fakulta informatiky
Katedra teorie programování
Botanická 554/68a
602 00 Brno
Tschechische Republik
-
As Applicant
-
Completed projects
-
Verified Model Checkers (Research Grants)
-
Statistical Unbounded Verification (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Current projects
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
-
-
Current projects
-
As Ehemaliger Antragsteller
-
Current projects
-
Group-by Objectives in Probabilistic Verification (Research Grants) to 12/2023
-
-
Current projects
