Google Research

LEVER: A Tool for Learning Based Verification (Tool Paper)

  • Abhay Vardhan
  • Mahesh Viswanathan
Springer (2006)


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