Breaking the Formal Verification Bottleneck

Author(s):
Menachem Rappaport, Ariel Ansbacher, Elchanan Rappaport