<--- Back to Details
First PageDocument Content
C programming language / C++ / Sizeof / D / Red Lizard Software / Boehm garbage collector / Computer programming / Software engineering / Computing
Date: 2013-05-07 16:54:58
C programming language
C++
Sizeof
D
Red Lizard Software
Boehm garbage collector
Computer programming
Software engineering
Computing

Goanna Static Analysis Tool at SATE Ansgar Fehnker [removed] www.RedLizards.com

Add to Reading List

Source URL: samate.nist.gov

Download Document from Source Website

File Size: 1,42 MB

Share Document on Facebook

Similar Documents

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

DocID: 18NsT - View Document

Academia / Gernot Heiser / Red Lizard Software / Gi-Fi / L4 microkernel family / Defence Science and Technology Organisation / University of New South Wales / Research / Formal verification / Association of Commonwealth Universities / NICTA / UNSW School of Computer Science and Engineering

ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research

DocID: XqSJ - View Document

Instruction set architectures / Embedded systems / Electronic engineering / Atmel AVR / Norwegian Institute of Technology / Red Lizard Software / Atmel / Computer architecture / Microcontrollers / Electronics

MEDIA RELEASE 13 NOVEMBER 2012 Red Lizard Software provides Goanna Studio static code analysis tools via the Atmel Gallery

DocID: X6Jm - View Document

Red Lizard Software / Formal verification / Academia / Research / University of New South Wales / Applied mathematics / Open Kernel Labs / NICTA / Gernot Heiser / L4 microkernel family

ISSUE 37 | JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival

DocID: VClq - View Document

Academia / L4 microkernel family / Red Lizard Software / University of New South Wales / Formal verification / University of Melbourne / Research / Applied mathematics / Open Kernel Labs / Association of Commonwealth Universities / NICTA / Gernot Heiser

ISSUE 38 | OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map

DocID: Vl4G - View Document