| Document Date: 2006-10-04 13:36:51 Open Document File Size: 104,70 KBShare Result on Facebook
City Washington / DC / Berlin / Atlanta / San Diego / / Company IBM / Industrial Critical Systems / Abraxas Software Inc. / IEEE Software / HP / RTL / SourceForge.net. / / Country Germany / / / Facility Stanford University / / IndustryTerm give solutions / software projects / on-line database / precise checking algorithm / everyday development tools / intra-procedural tool / automated software engineering / software checking / standalone tools / search space strategies / software model checkers / everyday software practice / real system software / software development / software systems / present checking technology / software development method / proper tool / mature technology / sound software model checking / / OperatingSystem Linux / / Organization Stanford University / / Position driver / CodeSurfer Path Inspector / CodeSurfer http / ProgrammingLanguage Prolog / Java / Lisp / C / Xpath / Ada / XML / Fortran / C++ / / ProvinceOrState Georgia / / PublishedMedium Electronic Notes in Theoretical Computer Science / IEEE Software / / SportsLeague Stanford University / / Technology XML / Linux / API / mature technology / operating system / Operating Systems / DSL / checking technology / matching algorithm / Java / CAV / present checking technology / BLAST checking algorithm / Athlon XP2800+ processor / checking algorithm / precise checking algorithm / / URL http /
SocialTag |