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

City

Zurich / Rajamani / London / /

Company

Felix Rauch1 1 2 National ICT Australia Ltd. / Microsoft / /

Country

Switzerland / United Kingdom / /

Facility

University of New South Wales / Swiss Federal Institute of Technology / OCaml library / /

IndustryTerm

http /

OperatingSystem

GNU / /

Organization

Australian Governments Department of Communications / Information Technology and the Arts / Swiss Federal Institute of Technology / Australia Department of Computer Science / University of New South Wales / ICT Research Centre of Excellence / Australian Research Council / /

Product

NuSMV / Goanna tool / CH-8092 Zurich / Goanna / /

ProgrammingLanguage

C / C++ / /

ProvinceOrState

S.K. / New South Wales / /

Region

South Wales / /

Technology

chip design / 2 Technology / CAV / Information Technology / verification technology / SSL / /

URL

http /

SocialTag