Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola TOrPEDO : witnessing model correctness with topological proofs. (English) Zbl 1522.68335 Formal Asp. Comput. 33, No. 6, 1039-1066 (2021). MSC: 68Q60 68V15 PDFBibTeX XMLCite \textit{C. Menghi} et al., Formal Asp. Comput. 33, No. 6, 1039--1066 (2021; Zbl 1522.68335) Full Text: DOI
Peleska, Jan; Krafczyk, Niklas; Haxthausen, Anne E.; Pinger, Ralf Efficient data validation for geographical interlocking systems. (English) Zbl 1522.68341 Formal Asp. Comput. 33, No. 6, 925-955 (2021). MSC: 68Q60 03B44 68M14 90B20 PDFBibTeX XMLCite \textit{J. Peleska} et al., Formal Asp. Comput. 33, No. 6, 925--955 (2021; Zbl 1522.68341) Full Text: DOI
Č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
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Jones, David; Mattarei, Cristian Model-based safety assessment of a triple modular generator with xSAP. (English) Zbl 1511.68149 Formal Asp. Comput. 33, No. 2, 251-295 (2021). MSC: 68Q60 93-10 93C83 PDFBibTeX XMLCite \textit{M. Bozzano} et al., Formal Asp. Comput. 33, No. 2, 251--295 (2021; Zbl 1511.68149) Full Text: DOI
Li, Jianwen; Zhang, Lijun; Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng An explicit transition system construction approach to LTL satisfiability checking. (English) Zbl 1382.68142 Formal Asp. Comput. 30, No. 2, 193-217 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Li} et al., Formal Asp. Comput. 30, No. 2, 193--217 (2018; Zbl 1382.68142) Full Text: DOI
Schrammel, Peter; Kroening, Daniel; Brain, Martin; Martins, Ruben; Teige, Tino; Bienmüller, Tom Incremental bounded model checking for embedded software. (English) Zbl 1375.68081 Formal Asp. Comput. 29, No. 5, 911-931 (2017). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Schrammel} et al., Formal Asp. Comput. 29, No. 5, 911--931 (2017; Zbl 1375.68081) Full Text: DOI arXiv