Alyssa N Byrnes
2018-06-21 20:00:11 UTC
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
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