Search Results

Leo Alt : Fully Automated Formal Verification: How far can we go?