OS and tools for building dependable systems ... and developed new techniques and tools for specifying and verifying program behavior. Advances in languages, compilers, and tools open the possibility ...