Back to Results
First PageMeta Content
Mathematical logic / Computing / NuSMV / XML / Static single assignment form / Model checking / Linear temporal logic / Computation tree logic / Type system / Theoretical computer science / Temporal logic / Logic in computer science


SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨
Add to Reading List

Document Date: 2011-08-18 01:13:32

Open Document

File Size: 366,32 KB

Share Result on Facebook

Company

Ralf Huuck Ansgar Fehnker National ICT Australia Ltd. / /

/

Facility

University of New South Wales Locked Bag / /

IndustryTerm

static analysis tool / static analysis tools / reactive systems / real software / /

Organization

University of New South Wales Locked Bag / /

Person

Michael Vistein Frank Ortmeier Wolfgang / /

Position

input model for NuSMV / /

Product

Goanna / /

ProgrammingLanguage

C / XPath / C++ / /

Region

South Wales / /

Technology

XML / finite state machine / /

URL

www.elsevier.nl/locate/entcs / http /

SocialTag