The PCTL satisfiability problem resolved!
The general/finite PCTL satisfiability problems are undecidable.
CHESS Industrial Day 2023
CHESS Industrial Day 2023: Registration is open till November 30, 2023.
The aim of CHESS Industrial Day 2023 is to bring together researchers and practitioners in formal methods from industry and academia. The event provides an informal platform for exchanging practical experience with methods and tools for software analysis/verification/testing, and discussing their benefits and bottlenecks. It is organized by the Cyber-security Excellence Hub in Estonia and South Moravia (CHESS).
Date: December 8, 2023
Place: KYPO, Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, CZ
Contact: Antonín Kučera (FI MU), Jan Strejček (FI MU), Tomáš Vojnar (FIT VUT)
