Model Checking the Multi-Formalism Language FIGARO.

Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

Browse the full DSN paper archive.