Solving Exists/Forall Problems With Yices
暂无分享,去创建一个
[1] Volker Weispfenning,et al. The Complexity of Linear Problems in Fields , 1988, Journal of symbolic computation.
[2] Rüdiger Loos,et al. Applying Linear Quantifier Elimination , 1993, Comput. J..
[3] Volker Weispfenning,et al. Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond , 1997, Applicable Algebra in Engineering, Communication and Computing.
[4] Armando Solar-Lezama,et al. Programming by sketching for bit-streaming programs , 2005, PLDI '05.
[5] Joseph Sifakis,et al. Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[6] Sumit Gulwani,et al. Program analysis as constraint solving , 2008, PLDI '08.
[7] Sumit Gulwani,et al. Constraint-Based Approach for Analysis of Hybrid Systems , 2008, CAV.
[8] Sumit Gulwani,et al. Synthesizing switching logic using constraint solving , 2010, International Journal on Software Tools for Technology Transfer.
[9] Sumit Gulwani,et al. Oracle-guided component-based program synthesis , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[10] Youssef Hamadi,et al. Efficiently solving quantified bit-vector formulas , 2010, Formal Methods in Computer Aided Design.
[11] Ashish Tiwari,et al. Verification and synthesis using real quantifier elimination , 2011, ISSAC '11.
[12] Mikolás Janota,et al. Abstraction-Based Algorithm for 2QBF , 2011, SAT.
[13] Masahiro Fujita,et al. Partial synthesis through sampling with and without specification , 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[14] Natarajan Shankar,et al. EFSMT: A Logical Framework for Cyber-Physical Systems , 2013, ArXiv.
[15] Ashish Tiwari,et al. Template-based circuit understanding , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
[16] Ashish Tiwari,et al. Program Synthesis Using Dual Interpretation , 2015, CADE.
[17] Sagar Chaki,et al. SMT-based model checking for recursive programs , 2014, Formal Methods in System Design.