From 8ba0de4f899b8f43e3c10d63d5b36831ac64cde3 Mon Sep 17 00:00:00 2001 From: classicwuhao Date: Tue, 27 Apr 2021 23:13:33 +0800 Subject: [PATCH] update --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b635ef87..5d534863 100644 --- a/README.md +++ b/README.md @@ -100,6 +100,6 @@ Compare to MaxUSE, QMaxUSE improves up to 30x efficenicy in verification. In par * Multiple SMT solvers (CVC4, MATHSAT5, etc) are being added. ## 7. Acknowledgement -We woud like to thank [Joesph Timoney](https://github.com/ArpSolina) for helpful comments on this research. +We woud like to thank our industrial partner LingCui Yu, HuangXin Xin and their teams from SYSUCC for helpful comments on this research. Last updated: 27-April-2021