| Document Date: 2008-06-15 00:09:46
Open Document File Size: 494,66 KBShare Result on Facebook
Company IBM / L4 / Bell Labs / Airbus / AbsInt GmbH / Polyspace Technologies / Grammatech Inc. / Microsoft / Computing Laboratory / / Country United States / / Currency USD / / / Event Man-Made Disaster / Reorganization / / Facility Computing Laboratory / University of Oxford / / IndustryTerm software system / model checking algorithm / software horror stories / software controlling transportation / iterative algorithm / refinement tool / software model checker / verification tools / software components / software-testing purposes / software model checkers / formal tools / transition systems / electronic systems / software systems / software verification / computer systems / static analysis tools / predicate abstraction tool / communication infrastructure / explicit-state software / software development tools / software model checking / Formal verification tools / software part / software programs / software verification tool / communication protocols / software quality / computing / / MusicAlbum U.K. / / OperatingSystem L3 / VxWorks / Microsoft Windows / / Organization University of Oxford / National Aeronautics and Space Administration / European Union / / Person Emerson / Clarke / Daniel Kroening / A. Kuehlmann / / Position Editor / guard / Windows Driver Development Kit.3 When / appropriate guard / Static Driver / General / representative / Surveyor / programmer / / Product PThreads / / ProgrammingLanguage Java / R / C / Ada / D / C++ / / PublishedMedium IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS / / TVStation WCET / / Technology semiconductor / model checking algorithm / VxWorks / shared memory / DBMs / INTEGRATED CIRCUITS / Java / iterative algorithm / simulation / communication protocols / Digital Object Identifier / Driver Development Kit / / URL http /
SocialTag |
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for