Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Model checking / Satisfiability Modulo Theories / Static program analysis / Abstract interpretation / Abstraction / C / Software bug / Theoretical computer science / Software engineering / Computing


Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement
Add to Reading List

Document Date: 2013-01-01 17:52:59

Open Document

File Size: 195,62 KB

Share Result on Facebook

City

Munich / /

Company

Wilson / Elsevier Science B. V. / /

Country

Germany / /

/

Facility

Visual Studio / University of New South Wales / /

IndustryTerm

static analysis tool / industrial strength static analysis tool / /

OperatingSystem

Linux / /

Organization

University of New South Wales / Sydney / Federal Government / /

Person

Franck Cassez / Maximilian Junker Technische Universit / Mark Bradley / Ralf Huuck / /

Position

programmer / /

ProgrammingLanguage

C / C++ / /

Region

South Wales / /

Technology

technology of GoannaSMT / underlying technology / Linux / /

URL

http /

SocialTag