Voiraig

The first certifying model checker