software | Application software | id Software | Eclipse (software) | Apache Software Foundation | Software development kit | software development | Software as a service | Open Software Foundation | Software | Lotus Software | application software | software as a service | Free Software Foundation | Steam (software) | Software bug | Agile software development | Lean software development | Gearbox Software | Critical Software | BMC Software | Software MacKiev | software developer | Shake (software) | Opera Software | Java (software platform) | Software synthesizer | Software portability | Software Freedom Law Center | Quest Software |
For example, in 2005, Microsoft started using verification technology in many of their internal projects and is planning to include a logical specification and checking language in their 2012 version of Visual C.
CPAchecker came first (category Overall) in the 2nd Competition on Software Verification (2013) that was held at TACAS 2013 in Rome.
His technical assignments have included software verification at the Shuttle Avionics Integration Laboratory and Flight Simulation Laboratory; vehicle and satellite integration at the Kennedy Space Center, Florida, for STS-5, 6, 7, 8, and 9; Astronaut Office EVA (Extra-vehicular activity) expert; and Space Station construction, EVA maintenance, and design.