coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Alyssa N Byrnes <abyrnes1 AT cs.unc.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Symbolic Execution in Coq
- Date: Thu, 21 Jun 2018 16:00:11 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=abyrnes1 AT cs.unc.edu; spf=Pass smtp.mailfrom=abyrnes1 AT cs.unc.edu; spf=None smtp.helo=postmaster AT mail-oi0-f47.google.com
- Ironport-phdr: 9a23:EcOPvRMkMtvMXVeDCV8l6mtUPXoX/o7sNwtQ0KIMzox0Lfv+rarrMEGX3/hxlliBBdydt6oZzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlIiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKzE3/27YhNFzgqxVvhyvoAdyw5LNYIGQKPZ+fr/Rcc0cSGFcXshRTStBAoakYoYTC+oAPf1Yr5LnqFATtRW1GBShBeP1yj9OmHD2xrAx3uM7Hg7d3A0gBdQOv2rPrNnoL6odTfu1wLPVzTXFc/xawyny55XVch04p/yHQLF+cdLJxEUxCw/Iik+cpI/lMj+PyOgBrmuW4/BvWO+tk2IrtQB8riSxysophITFmoMYx1XK+Cpj3Yk4Jti1RUF/bNK5DJddsjuVOot4Qs4tRmxluCg3x7IYtZO+fSUG1okryAXaZvGIfYiE/h3uWeCMKjlinn1lYqiwhxOq/Eig1OL8Us603U5PriVfk9nMsmkB1xvS6sSbU/d98Eis1DSV2wDc7eFEJk80la7FJJI73rEwkZ8TvVzCHi/whkr2kLebels49uWs8ejqYbXrqoWCO4NpiQzyKKsjl86nDeQ9KAcOXmyb+eqm1L3k+E30WK9FgeY2k6nDtpDVO98bqrOiDgBJyYYv8Qu/DzG639gCg3YIMU9FdAqdj4f1I1HOPOz4DfCnjluwlzdr3unKMaHlApXQNXfOi6zhfLZ4605E0gU/19Ff55ROCrEAOv3/QEHxtMaLRiM+Zgez2qPsDMh3/oIYQ2OGRKGDY43Itlrdz+Y+OPKFLKldkifnLfU+r6rnh24jn1IGJIGixt0Kbnv+E/h7dRbKKUHwi8sMRD9Z9jE1S/bn3QXbAGxjIk2qVqd53QkVTYevDIPNXIeo2ebT1zz9A5tdIG1KFwLVSCu6R8C/Q/4JLRmqDIp5iDVdD+qqUMk80xrouQPnmeI+c7jkvxYAvJem7+Bbou3ekRZoqG5xBsWZlmaMFyR6wjxOSDgx06Ry50d6zwXb3A==
Hello!
Is anyone aware of a formalization of Symbolic Execution and proofs of its
main properties (coverage and precision) in Coq?
I understand that this might be a meta question about formalization, and am
interested in any opinions on this as well!
Many thanks,
Alyssa Byrnes
- [Coq-Club] Symbolic Execution in Coq, Alyssa N Byrnes, 06/21/2018
Archive powered by MHonArc 2.6.18.