SMTInterpol swMATH ID: 7406 Software Authors: Jochen Hoenicke, Jürgen Christ, Alexander Nutz Description: SMTInterpol is an SMT Solver that can compute Craig interpolants for various theories. The solver is developed at the Chair of Software Engineering at the University of Freiburg. The solver is written in Java and can be used on any operating system that supports Java Version 6. The solver reads input in SMTLIB Version 2 format. Homepage: http://ultimate.informatik.uni-freiburg.de/smtinterpol/ Programming Languages: Java Related Software: z3; MathSAT5; CVC4; CPAchecker; SMT-LIB; Ultimate Automizer; Yices; CBMC; UFO; AProVE; veriT; Isabelle/HOL; Coq; APT; SatAbs; KLEE; SLAM; BLAST; LLVM; DiVinE Cited in: 22 Publications all top 5 Cited by 66 Authors 5 Hoenicke, Jochen 3 Christ, Jürgen 3 Dietsch, Daniel 3 Podelski, Andreas 2 Barrett, Clark W. 2 Devillers, Raymond 2 Heizmann, Matthias 2 Kremer, Gereon 2 Tinelli, Cesare 1 Ábrahám, Erika 1 Akhundov, Murad 1 Aschermann, Cornelius 1 Baranowski, Marek 1 Barbosa, Haniel 1 Best, Eike 1 Brockschmidt, Marc 1 Bromberger, Martin 1 Chaki, Sagar 1 Chechik, Marsha 1 Cimatti, Alessandro 1 Emmes, Fabian 1 Feng, Nick 1 Frohn, Florian 1 Fuhs, Carsten 1 Garzella, Jack J. 1 Giesl, Jürgen 1 Greitschus, Marius 1 Griggio, Alberto 1 Gurfinkel, Arie 1 Hajdu, Ákos 1 He, Shaobo 1 Hensel, Jera 1 Hui, Vincent W. H. 1 Komuravelli, Anvesh 1 Koskinen, Eric 1 Lachnitt, Hanna 1 Langenfeld, Vincent 1 L’vov, M. S. 1 Magnago, Enrico 1 Micskei, Zoltán 1 Mora, Federico 1 Niemetz, Aina 1 Niewiadomski, Artur 1 Nötzli, Andres 1 Nutz, Alexander 1 Otto, Carsten 1 Ozdemir, Alex 1 Penczek, Wojciech 1 Peschanenko, V. S. 1 Plücker, Martin 1 Preiner, Mathias 1 Rakamarić, Zvonimir 1 Reynolds, Andrew 1 Schindler, Tanja I. 1 Schlachter, Uli 1 Schneider-Kamp, Peter 1 Sidoruk, Teofil 1 Ströder, Thomas 1 Swiderski, Stephanie 1 Switalski, Piotr 1 Tarasich, Yu. 1 Thiemann, René 1 Viswanathan, Arjun 1 Viteri, Scott 1 Yang, Junfeng 1 Zohar, Yoni all top 5 Cited in 6 Serials 3 Journal of Automated Reasoning 1 Acta Informatica 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Fundamenta Informaticae 1 Scientific Annals of Computer Science Cited in 3 Fields 22 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year