diff --git a/conformance-challenges/index.html b/conformance-challenges/index.html index d07388c5bc..315f1f0115 100644 --- a/conformance-challenges/index.html +++ b/conformance-challenges/index.html @@ -244,6 +244,7 @@

Challenge #1: Scaling Conformance Verification

Silver Research Findings

+

Silver research identified two further challenges related to scaling conformance verification: