Back to Results
First PageMeta Content
Data types / Cross-platform software / Procedural programming languages / Type theory / Pointer / Main function / C / Static single assignment form / Dataflow / Software engineering / Computing / Computer programming


UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT
Add to Reading List

Document Date: 2008-06-30 15:34:28

Open Document

File Size: 77,97 KB

Share Result on Facebook

City

Pasadena / /

Company

Compaq / Microsoft / /

Currency

pence / USD / /

IndustryTerm

potential software defects / typical static analysis tools / static analysis tools / printing / similar algorithms / predefined software defects / dedicated resolver tool / depth-first search / software checking tools / search procedure / mainstream tools / static analysis tool / code analysis tool / Not many tools / logic model checking tools / labeled transition systems / public domain compiler front-end tool / constraint systems / successor tool / serious software defects / stand-alone tools / software defects / /

Person

Shaun Flisakowski / Steve Johnson / Dawson Engler / /

/

Position

driver / model extractor / Scheme interpreter / General / static qualifier / null qualifier / programmer / /

Product

Vault system / Visual Threads tool / Extended Static Checking tool / PREfix / UNO / Extended Static Checking / Vault / Visual Threads / /

ProgrammingLanguage

Java / C / C++ / /

ProvinceOrState

New Jersey / /

Technology

Java / finite state machine / Process Technology / Eraser algorithm / /

SocialTag