Compositional Verification of Concurrent and Real-Time Systems

by Eric Y. T. Juan

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Since many of the software systems support or suppl…