Google Research

Learning to verify branching time properties

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


No abstract available; check out the Download or Google Scholar links above for publications details.

Research Areas

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work