Češka, Milan; Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter Counterexample-guided inductive synthesis for probabilistic systems. (English) Zbl 1519.68055 Formal Asp. Comput. 33, No. 4-5, 637-667 (2021). MSC: 68N30 60J20 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Češka} et al., Formal Asp. Comput. 33, No. 4--5, 637--667 (2021; Zbl 1519.68055) Full Text: DOI
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle Fault trees on a diet: automated reduction by graph rewriting. (English) Zbl 1370.68063 Formal Asp. Comput. 29, No. 4, 651-703 (2017). MSC: 68P05 68M15 68Q42 94C12 PDFBibTeX XMLCite \textit{S. Junges} et al., Formal Asp. Comput. 29, No. 4, 651--703 (2017; Zbl 1370.68063) Full Text: DOI
Swaminathan, Mani; Katoen, Joost-Pieter; Olderog, Ernst-Rüdiger Layered reasoning for randomized distributed algorithms. (English) Zbl 1259.68114 Formal Asp. Comput. 24, No. 4-6, 477-496 (2012). MSC: 68Q45 68W20 68W15 PDFBibTeX XMLCite \textit{M. Swaminathan} et al., Formal Asp. Comput. 24, No. 4--6, 477--496 (2012; Zbl 1259.68114) Full Text: DOI
Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. Automatic verification of a lip-synchronisation protocol using UPPAAL. (English) Zbl 0951.68533 Formal Asp. Comput. 10, No. 5-6, 550-575 (1998). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Bowman} et al., Formal Asp. Comput. 10, No. 5--6, 550--575 (1998; Zbl 0951.68533) Full Text: DOI