Roberto Amadini, Maurizio Gabbrielli & Jacopo Mauro (2015):
SUNNY-CP: A Sequential CP Portfolio Solver.
In: ACM Symposium on Applied Computing,
Salamanca, Spain,
pp. 1861–1867,
doi:10.1145/2695664.2695741.
Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs & K. Rustan M. Leino (2005):
Boogie: A Modular Reusable Verifier for Object-Oriented Programs.
In: Formal Methods for Components and Objects: 4th International Symposium,
Amsterdam, The Netherlands,
pp. 364–387,
doi:10.1007/11804192_17.
Mike Barnett, K. Rustan M. Leino & Wolfram Schulte (2004):
The Spec# Programming System: An Overview.
In: Construction and Analysis of Safe, Secure and Interoperable Smart devices,
Marseille, France,
pp. 49–69,
doi:10.1007/978-3-540-30569-9_3.
Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovi\'c, Tim King, Andrew Reynolds & Cesare Tinelli (2011):
CVC4.
In: Computer Aided Verification,
Snowbird, UT, USA,
pp. 171–177,
doi:10.1007/978-3-642-22110-1_14.
Clark Barrett, Aaron Stump & Cesare Tinelli (2010):
The Satisfiability Modulo Theories Library (SMT-LIB).
Available at http://www.smt-lib.org.
Clark Barrett & Cesare Tinelli (2007):
CVC3.
In: Computer Aided Verification,
Berlin, Germany,
pp. 298–302,
doi:10.1007/978-3-540-73368-3_34.
Dirk Beyer (2014):
Status Report on Software Verification.
In: Tools and Algorithms for the Construction and Analysis of Systems,
Grenoble, France,
pp. 373–388,
doi:10.1007/978-3-642-54862-8_25.
Dirk Beyer, Stefan Löwe & Philipp Wendler (2015):
Benchmarking and Resource Measurement.
In: Model Checking Software - 22nd International Symposium, SPIN 2015,
Stellenbosch, South Africa,
pp. 160–178,
doi:10.1007/978-3-319-23404-5_12.
Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein & Josef Urban (2016):
A Learning-Based Fact Selector for Isabelle/HOL.
Journal of Automated Reasoning,
pp. 1–26,
doi:10.1007/s10817-016-9362-8.
François Bobot, Jean-Christophe Filliâtre, Claude Marché, Guillaume Melquiond & Andrei Paskevich (2013):
Preserving User Proofs across Specification Changes.
In: Verified Software: Theories, Tools, Experiments: 5th International Conference,
Menlo Park, CA, USA,
pp. 191–201,
doi:10.1007/978-3-642-54108-7_10.
François Bobot, Jean-Christophe Filliâtre, Claude Marché & Andrei Paskevich (2015):
Let's verify this with Why3.
International Journal on Software Tools for Technology Transfer 17(6),
pp. 709–727,
doi:10.1007/s10009-014-0314-5.
Hanen Borchani, Gherardo Varando, Concha Bielza & Pedro Larranaga (2015):
A survey on multi-output regression.
Data Mining And Knowledge Discovery 5(5),
pp. 216–233,
doi:10.1002/widm.1157.
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen & Mattias Ulbrich (2011):
The COST IC0701 Verification Competition 2011.
In: Formal Verification of Object-Oriented Software,
Torino, Italy,
pp. 3–21,
doi:10.1007/978-3-642-31762-0_2.
Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe & Pascal Fontaine (2009):
veriT: An Open, Trustable and Efficient SMT-Solver.
In: 22nd International Conference on Automated Deduction,
Montreal, Canada,
pp. 151–156,
doi:10.1007/978-3-642-02959-2_12.
Leo Breiman (2001):
Random Forests.
Machine Learning 45(1),
pp. 5–32,
doi:10.1023/A:1010933404324.
David R. Cok, Aaron Stump & Tjark Weber (2015):
The 2013 Evaluation of SMT-COMP and SMT-LIB.
Journal of Automated Reasoning 55(1),
pp. 61–90,
doi:10.1007/s10817-015-9328-2.
Sylvain Conchon & Évelyne Contejean (2008):
The Alt-Ergo automatic theorem prover.
Available at http://alt-ergo.lri.fr/.
Leonardo De Moura & Nikolaj Bjørner (2008):
Z3: An Efficient SMT Solver.
In: Tools and Algorithms for the Construction and Analysis of Systems,
Budapest, Hungary,
pp. 337–340,
doi:10.1007/978-3-540-78800-3_24.
Yulia Demyanova, Thomas Pani, Helmut Veith & Florian Zuleger (2015):
Empirical Software Metrics for Benchmarking of Verification Tools.
In: Computer Aided Verification,
San Francisco, CA, USA,
pp. 561–579,
doi:10.1007/978-3-319-21690-4_39.
Jean-Christophe Filliâtre & Andrei Paskevich (2013):
Why3 - Where Programs Meet Provers.
In: Programming Languages and Systems - 22nd European Symposium on Programming,,
Rome, Italy,
pp. 125–128,
doi:10.1007/978-3-642-37036-6_8.
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah & Alexander Romanovsky (2016):
Rodin Platform Why3 Plug-In.
In: ABZ 2016: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference,
Linz, Austria,
pp. 275–281,
doi:10.1007/978-3-319-33600-8_21.
Kalervo Järvelin (2012):
IR Research: Systems, Interaction, Evaluation and Theories.
SIGIR Forum 45(2),
pp. 17–31,
doi:10.1145/2093346.2093348.
Cezary Kaliszyk & Josef Urban (2014):
Learning-Assisted Automated Reasoning with Flyspeck.
Journal of Automated Reasoning 53(2),
pp. 173–213,
doi:10.1007/s10817-014-9303-3.
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich & Benjamin Weiß (2011):
The 1st Verified Software Competition: Experience Report.
In: FM 2011: 17th International Symposium on Formal Methods,
Limerick, Ireland,
pp. 154–168,
doi:10.1007/978-3-642-21437-0_14.
Ekaterina Komendantskaya, Jónathan Heras & Gudmund Grov (2012):
Machine Learning in Proof General: Interfacing Interfaces.
In: 10th International Workshop On User Interfaces for Theorem Provers,
Bremen, Germany,
pp. 15–41,
doi:10.4204/EPTCS.118.2.
K. Rustan M. Leino (2010):
Dafny: An Automatic Program Verifier for Functional Correctness.
In: Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference,
Dakar, Senegal,
pp. 348–370,
doi:10.1007/978-3-642-17511-4_20.
David J Lilja (2000):
Measuring computer performance: a practitioner's guide.
Cambridge Univ. Press,
Cambridge, UK,
doi:10.1017/CBO9780511612398.
Tom M. Mitchell (1997):
Machine Learning.
McGraw-Hill,
New York, USA.
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent & Barry O'Sullivan (2008):
Using case-based reasoning in an algorithm portfolio for constraint solving.
In: Irish Conference on Artificial Intelligence and Cognitive Science,
Cork, Ireland,
pp. 210–216.
Available at http://homepages.laas.fr/ehebrard/papers/aics2008.pdf.
Fabian Pedregosa, Gaël Varoquaux, Alexandre Gramfort, Vincent Michel, Bertrand Thirion, Olivier Grisel, Mathieu Blondel, Peter Prettenhofer, Ron Weiss, Vincent Dubourg, Jake Vanderplas, Alexandre Passos, David Cournapeau, Mathieu Brucher, Mathieu Perrot & Édouard Duchesnay (2011):
Scikit-learn: Machine Learning in Python.
Journal of Machine Learning Research 12,
pp. 2825–2830.
Available at http://dl.acm.org/citation.cfm?id=1953048.2078195.
Geoff Sutcliffe & Christian Suttner (1998):
The TPTP Problem Library.
Journal Automated Reasoning 21(2),
pp. 177–203,
doi:10.1023/A:1005806324129.
Geoff Sutcliffe & Christian Suttner (2001):
Evaluating general purpose automated theorem proving systems.
Artificial Intelligence 131(1-2),
pp. 39–54,
doi:10.1016/S0004-3702(01)00113-8.
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal & Aditya V. Nori (2014):
MUX: algorithm selection for software model checkers.
In: 11th Working Conference on Mining Software Repositories,
Hydrabad, India,
pp. 132–141,
doi:10.1145/2597073.2597080.
Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell & Anders Wesslén (2012):
Experimentation in Software Engineering.
Springer,
New York, USA,
doi:10.1007/978-3-642-29044-2.
Lin Xu, Frank Hutter, Holger H. Hoos & Kevin Leyton-Brown (2008):
SATzilla: Portfolio-based Algorithm Selection for SAT.
Journal of Artificial Intelligence Research 32(1),
pp. 565–606.
Available at http://dl.acm.org/citation.cfm?id=1622673.1622687.
eptcs@eptcs.org