Compositional Verification of Concurrent and Real-Time Systems

With the rapid growth of networking and high—computing power, the demand for large—scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety—critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety—critical systems could result in great disasters and loss...