Breaking the Formal Verification Bottleneck

Author(s):
Menachem Rappaport, Ariel Ansbacher, Elchanan Rappaport
Location:
United States
Year:
2025
Type:
Presentation
Format:
pptx