RAT: A Tool for the Formal Analysis of Requirements.

Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev

Browse the full CAV paper archive.