First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2005-03-01 18:37:16Open Document File Size: 220,17 KBShare Result on FacebookCityPittsburgh / Cambridge / Washington / Taormina / Boston / Edinburgh / /CompanyInternational Thomson Computer Press / Honeywell / MIT Press / Microsoft / High Assurance Systems / /CountryUnited States / Italy / Scotland / /CurrencyUSD / / /FacilityJPF’s facility / National Institute of Standards and Technology / Java TreeMap library / USA UT ARISE University of Texas / Omega library / /IndustryTermsoftware testing infrastructure / different search capabilities / software failures / validation tools / dual processor / binary search trees / software programs / concurrent systems / e.g. heuristic search / valid solutions / software model checkers / search space / search engine / system software / rst search / software testing / software development / inadequate infrastructure / martian rover software / lazy initialization algorithm / /OperatingSystemWindows 2000 / /OrganizationNational Institute of Standards and Technology / University of Texas at Austin / MIT / National Aeronautics and Space Administration / USA UT ARISE University / /PersonJ. Adam J. Chlipala / Thomas A. Henzinger / Darko Marinov / R. Majumdar / P. Ammann / P. Black / Corina S. Pas / /Positionforward / General / /ProgrammingLanguageJava / C++ / /ProvinceOrStateMassachusetts / /PublishedMediumIEEE Transactions on Software Engineering / /TechnologyVirtual Machine / lazy initialization algorithm / real-time operating system / Java / API / Korat algorithm / search engine / 2.2 Ghz dual processor / /SocialTag |