暂无分享,去创建一个
Christof Löding | Pranav Garg | P. Madhusudan | Daniel Neider | Christof Löding | P. Madhusudan | P. Garg | D. Neider
[1] Roberto Bruttomesso,et al. Lazy Abstraction with Interpolants for Arrays , 2012, LPAR.
[2] Yu-Fang Chen,et al. Learning Boolean Functions Incrementally , 2012, CAV.
[3] Samuel T. King,et al. Verifying security invariants in ExpressOS , 2013, ASPLOS '13.
[4] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.
[5] Benedikt Bollig,et al. libalf: The Automata Learning Framework , 2010, CAV.
[6] Sumit Gulwani,et al. Program verification using templates over predicate abstraction , 2009, PLDI '09.
[7] Constantin Enea,et al. Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data , 2012, VMCAI.
[8] Roberto Bruttomesso,et al. SAFARI: SMT-Based Abstraction for Arrays with Interpolants , 2012, CAV.
[9] Ranjit Jhala,et al. Array Abstractions from Proofs , 2007, CAV.
[10] Kenneth L. McMillan,et al. Quantified Invariant Generation Using an Interpolating Saturation Prover , 2008, TACAS.
[11] Umesh V. Vazirani,et al. An Introduction to Computational Learning Theory , 1994 .
[12] K. Rustan M. Leino,et al. Houdini, an Annotation Assistant for ESC/Java , 2001, FME.
[13] Rajeev Alur,et al. Symbolic Compositional Verification by Learning Assumptions , 2005, CAV.
[14] Reinhard Wilhelm,et al. Parametric shape analysis via 3-valued logic , 1999, POPL '99.
[15] Xiaokang Qiu,et al. Decidable logics combining heap structures and data , 2011, POPL '11.
[16] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[17] Alexander Aiken,et al. Interpolants as Classifiers , 2012, CAV.
[18] Xiaokang Qiu,et al. Efficient Decision Procedures for Heaps Using STRAND , 2011, SAS.
[19] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[20] Andreas Podelski,et al. Abstraction Refinement for Quantified Array Assertions , 2009, SAS.
[21] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.
[22] Fabio Somenzi,et al. IC3: Where monolithic and incremental meet , 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
[23] William G. Griswold,et al. Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[24] Soonho Kong,et al. Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates , 2010, APLAS.
[25] Henny B. Sipma,et al. What's Decidable About Arrays? , 2006, VMCAI.