有没有用Clojure编写的符号执行项目？

Question

您是否知道任何与形式验证相关的项目，如果不是符号执行？

Answer 1

https://github.com/Viasat/salt 是一个到TLA+的优秀的Clojure API。

https://github.com/sicmutils/sicmutils 是一个处于活跃阶段的项目，将许多Sussman项目引入Clojure，包括符号计算。

可能还有很多其他的，这些只是我想起来的。

Comments

很好。谢谢。