Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

FMICS
2006
Springer

favoriteEmaildiscussreport

83views Formal Methods» more FMICS 2006»

Goanna - A Static Model Checker

13 years 8 months ago

Goanna - A Static Model Checker

Download www.cse.unsw.edu.au

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel

Real-time Traffic

FMICS 2006 | Formal Methods |

claim paper

Related Content

» Goanna Syntactic Software Model Checking

» Model Checking Software at Compile Time

» Irrelevance in Type Theory with a Heterogeneous Equality Judgement

» Type inference and strong static type checking for Promela

» A UMLbased static verification framework for security

» Calysto scalable and precise extended static checking

» Applying Static Analysis to LargeScale MultiThreaded Java Programs

» SCL Static Enforcement and Exploration of Developer Intent in Source Code

» An executable formal semantics of C with applications

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FMICS
Authors	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Comments (0)