Author:
Dillig Isil,Dillig Thomas,Li Boyang,McMillan Ken,Sagiv Mooly
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference22 articles.
1. Cobleigh, J., Giannakopoulou, D., Păsăreanu, C.: Learning assumptions for compositional verification. TACAS, pp. 331–346 (2003)
2. Gupta, A., Mcmillan, K.L., Fu, Z.: Automated assumption generation for compositional verification. Form. Methods Syst Des (2008)
3. Calcagno, C., Distefano, D., O’Hearn, P., Yang, H.: Compositional shape analysis by means of bi-abduction. POPL 44(1), 289–300 (2009)
4. Peirce, C.: Collected papers of Charles sanders peirce. Belknap Press, Cambridge (1932)
5. Dillig, I., Dillig, T., McMillan, K., Aiken, A.: Minimum satisfying assignments for SMT, CAV (2012)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Solver-Aided Constant-Time Hardware Verification;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12
2. Defining behaviorizeable relations to enable inference in semi-automatic program synthesis;Journal of Logical and Algebraic Methods in Programming;2021-11
3. Theory Exploration Powered by Deductive Synthesis;Computer Aided Verification;2021
4. Symbolic reasoning for automatic signal placement;ACM SIGPLAN Notices;2018-12-02
5. Symbolic reasoning for automatic signal placement;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11