Competition Report: CHC-COMP-20
暂无分享,去创建一个
[1] Bernd Finkbeiner,et al. Fields of Logic and Computation II , 2015, Lecture Notes in Computer Science.
[2] Bruno Dutertre,et al. Yices 2.2 , 2014, CAV.
[3] Bruno Dutertre,et al. Property-directed k-induction , 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
[4] Sagar Chaki,et al. SMT-based model checking for recursive programs , 2014, Formal Methods in System Design.
[5] Jochen Hoenicke,et al. Ultimate TreeAutomizer (CHC-COMP Tool Description) , 2019, HCVS/PERR@ETAPS.
[6] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.
[7] Alberto Griggio,et al. Infinite-state invariant checking with IC3 and predicate abstraction , 2016, Formal Methods Syst. Des..
[8] Natasha Sharygina,et al. OpenSMT2: An SMT Solver for Multi-core and Cloud Computing , 2016, SAT.
[9] Jan Kofron,et al. Decomposing Farkas Interpolants , 2019, TACAS.
[10] Alberto Griggio,et al. The MathSAT5 SMT Solver , 2013, TACAS.
[11] Arie Gurfinkel,et al. Global Guidance for Local Generalization in Model Checking , 2020, CAV.
[12] Tiziana Margaria,et al. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 , 2001, International Journal on Software Tools for Technology Transfer.
[13] Andrey Rybalchenko,et al. Synthesizing software verifiers from proof rules , 2012, PLDI.
[14] Natasha Sharygina,et al. A Cooperative Parallelization Approach for Property-Directed k-Induction , 2020, VMCAI.
[15] Philipp Rümmer,et al. The ELDARICA Horn Solver , 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
[16] Jochen Hoenicke,et al. Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution) , 2018, TACAS.
[17] Jochen Hoenicke,et al. Efficient Interpolation for the Theory of Arrays , 2018, SMT.
[18] Alex Groce,et al. Counterexample Guided Abstraction Refinement Via Program Execution , 2004, ICFEM.
[19] Cesare Tinelli,et al. Introducing StarExec: a Cross-Community Infrastructure for Logic Solving , 2014, COMPARE.
[20] Jochen Hoenicke,et al. Software Model Checking for People Who Love Automata , 2013, CAV.
[21] Natasha Sharygina,et al. SMTS: Distributed, Visualized Constraint Solving , 2018, LPAR.
[22] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[23] Hiroshi Unno,et al. Probabilistic Inference for Predicate Constraint Satisfaction , 2020, AAAI.
[24] Philipp Rümmer,et al. A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic , 2008, LPAR.
[25] Nikolaj Bjørner,et al. Horn Clause Solvers for Program Verification , 2015, Fields of Logic and Computation II.