LEVER: A Tool for Learning Based Verification.

Software systems are often modeled using infinite structures such as unbounded integers, infinite message queues and call stacks, and unbounded number of processes. This makes verification of these systems hard- in fact, for most common classes of infinite state systems, the verification problem is undecidable. [ABSTRACT FROM AUTHOR]