Publications
We list some representative publications from our group in this area:
- Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4): 589-610 (2022)
- Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler: The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119: 183-210 (2021)
- Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer: Iris From The Ground Up: A Modular Foundation for Higher-Order Concurrent Separation Logic. In JFP, Journal of Functional Programming (2018).
- Ike Mulder, Robbert Krebbers, Herman Geuvers: Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris. In PLDI, ACM SIGPLAN Conference on Programming Language Design and Implementation (2022).
