Eric Y.T. Juan

• Compositional verification of concurrent and real-time systems