Goanna - A Static Model Checker.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Browse the full FMICS paper archive.