Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Applied mathematics / Program analysis / Model checking / Formal verification / Static program analysis / Abstract interpretation / Red Lizard Software / Model checkers / Software / NuSMV


Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2
Add to Reading List

Document Date: 2006-07-26 05:56:22

Open Document

File Size: 199,16 KB

Share Result on Facebook
UPDATE