README.md: Mention ICFP 2024 paper

Fixes #48.
Copilot-Language · Feb 19, 2024 · 63f79ac · 63f79ac
1 parent 34c11f9
commit 63f79ac
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -17,6 +17,10 @@ verification conditions are then dispatched to SMT solvers to
 be automatically solved.  We will have more to say about exactly
 what is meant by this correspondence below.
 
+Copilot Verifier is described in the ICFP 2024 paper [_Trustworthy Runtime
+Verification via Bisimulation (Experience
+Report)_](https://dl.acm.org/doi/abs/10.1145/3607841).
+
 ## Building
 
 To build the verifier from source, first make sure you have met the following