NIPS24-Neural Model Checking

一种新的硬件模型检查的机器学习方法

利用nn来表示给定硬件设计与给定LTL规范符号性的证明