Główne pojęcia
VeriEQL은 복잡한 SQL 쿼리의 경계 동등성을 검증하는 첫 번째 SMT 기반 접근 방식이며, 복잡한 SQL 쿼리의 경계 동등성을 증명하고 반박할 수 있습니다.
Statystyki
VeriEQL은 20,000개 이상의 벤치마크에서 모든 최첨단 기술을 능가합니다.
Cytaty
"VeriEQL은 복잡한 SQL 쿼리의 경계 동등성을 검증하는 첫 번째 SMT 기반 접근 방식이며, 복잡한 SQL 쿼리의 경계 동등성을 증명하고 반박할 수 있습니다."