LEVER: A Tool for Learning Based Verification
2006 ◽
pp. 471-474
◽