Model Checking the Multi-Formalism Language FIGARO

Khan, Shahid (Corresponding author); Volk, Matthias; Katoen, Joost-Pieter; Braibant, Alexis; Bouissou, Marc

Piscataway, NJ : IEEE (2021)
Contribution to a book, Contribution to a conference proceedings

In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2021 : proceedings : 21-24 June 2021, virtual event / general chairs: Sy-Yen Kuo (National Taiwan University, Taiwan), Yennun Huang (Academia Sinica, Taiwan) ; publication chairs: Chi-Yi Lin (Tamkang University, Taiwan), Yao-Hsin Chou (National Chi Nan University, Taiwan) ; publisher: IEEE
Page(s)/Article-Nr.: 463-470


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]