Jeffrey J.P. Tsai

• Compositional verification of concurrent and real-time systems