Jump to Content

Learning to verify branching time properties

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

Abstract

Research Areas