| Document Date: 2008-06-30 15:34:28
Open Document File Size: 40,15 KBShare Result on Facebook
City Boston / Marktoberdorf / Portland / Amherst / Los Angeles / San Diego / Murray Hill / / Company J.S. Foster / MIT Press / DEFINED PROPERTIES Gerard J. Holzmann Bell Laboratories / IOS Press / COMPAQ / Lucent Technologies / / Country Germany / United States / / Currency USD / / Facility University of Maryland / / IndustryTerm typical static analysis tools / public domain software packages / event-driven software / search procedure / e-technik / static analysis tool / code analysis tool / labeled transition systems / constraint systems / resolver tool / software systems / software defects / Online description / similar algorithms / public domain program slicing tool / depth-first search / software checking tools / mainstream tools / logic model checking tools / successor tool / serious software defects / / OperatingSystem Unix / Linux / / Organization University of Maryland / MIT / NATO Summer School / Univ. of Mass / Usenix Organization / Society for Design / / Person W. Bush / Dawson Engler / W. Kelly / V / / Position driver / Model Checking / model extractor / null qualifier / author / static qualifier / Unix Programmer / / ProgrammingLanguage C / Fortran / / ProvinceOrState New Jersey / Maryland / Oregon / California / Massachusetts / Colorado / / Technology Linux / Unix / Operating Systems / / URL http /
SocialTag |
Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 © 2002 Society for Design and Process Science STATIC SOURCE CODE CHECKING FOR USER-DEFINED PROPERTIES Gerard J. Hol