Paper at DSN 2021

The paper “Model Checking the Multi-Formalism Language FIGARO” by Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant and Marc Bouissou has been accepted at the 51st Annual IEEE/IFIP Int. Conf. on Dependable Systems (DSN). The paper presents a tool that enables the probabilistic model checking of FIGARO models and compares this tool to various existing analysis techniques. The FIGARO language family includes e.g., stochastic Petri nets, reliability block diagrams, and Boolean logic-driven Markov Processes.