Learning to verify branching time properties

Abhay Vardhan
Mahesh Viswanathan
Formal Methods in System Design, 31, no. 1(2007), pp. 35-61

Abstract

Research Areas