STP swMATH ID: 34795 Software Authors: Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al. Description: STP: The Simple Theorem Prover. STP is a constraint solver for the theory of quantifier-free bitvectors that can solve many kinds of problems generated by program analysis tools, theorem provers, automated bug finders, cryptographic algorithms, intelligent fuzzers and model checkers. Features: Easy to embed or run standalone; Bindings for C, C++, and Python; Supports multiple query input formats; Open source and MIT licensed. Homepage: http://stp.github.io Source Code: https://github.com/stp/stp Related Software: z3; DART; CUTE; Yices; Boolector; MiniSat; Pex; KLEE; CVC4; MathSAT5; MathSAT; Chaff; SMT-LIB; Saturn; Symstra; jCUTE; Java PathFinder; CBMC; GitHub; MiniZinc Cited in: 40 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A decision procedure for bit-vectors and arrays. Zbl 1135.68472Ganesh, Vijay; Dill, David L. 2007 all top 5 Cited by 113 Authors 5 Ganesh, Vijay 3 Arusoaie, Andrei 3 Biere, Armin 3 Rusu, Vlad 2 Bright, Curtis 2 Czarnecki, Krzysztof 2 Julliand, Jacques 2 Kotsireas, Ilias S. 2 Lucanu, Dorel 2 Masson, Pierre-Alain 2 Sun, Jiaguang 2 Wintersteiger, Christoph M. 2 Zhou, Min 1 Al-Rawi, Bashar 1 Amato, Gianluca 1 Aref, Mohammad Reza 1 Azimi, Seyyed Arash 1 Bantegui, Michael 1 Bardin, Sébastien 1 Barrett, Clark W. 1 Bjørner, Nikolaj S. 1 Bobot, François 1 Bonsangue, Marcello Maria 1 Bué, Pierre-Christophe 1 Bushnell, David H. 1 Chakraborty, Supratik 1 Chen, Kai 1 Cheng, Xi 1 Chihani, Zakaria 1 Chung, Jonathan 1 de Boer, Frank S. 1 de Moura, Leonardo 1 Dill, David L. 1 Đoković, Dragomir Ž. 1 Dunkelman, Orr 1 Erzberger, Heinz 1 Feng, Dengguo 1 Fleming, Noah 1 Fröhlich, Andreas M. 1 Fu, Xiang 1 Ghosh, Shibam 1 Giannakopoulou, Dimitra 1 Godefroid, Patrice 1 Groce, Alex 1 Grosu, Radu 1 Gu, Ming 1 Hamadi, Youssef 1 Havelund, Klaus 1 He, Fei 1 Heere, Karen 1 Heinle, Albert 1 Heljanko, Keijo 1 Heule, Marijn J. H. 1 Holzmann, Gerard J. 1 Hsiao, Michael S. 1 Huang, Xiaowan 1 Huang, Zhangjie 1 Järvisalo, Matti 1 John, Ajith K. 1 Joshi, Rajeev 1 Knoop, Jens 1 Kolokolova, Antonina 1 Kouchnarenko, Olga 1 Kovács, Laura Ildikó 1 Kovásznai, Gergely 1 Krishnamoorthy, Saparya 1 Kuliamin, Victor V. 1 Li, Chung-Chih 1 Li, Chunxiao 1 Liang, Jiahui 1 Lingappan, Loganathan 1 Marre, Bruno 1 Mohajeri, Javad 1 Mu, Alice 1 Mukherjee, Soham 1 Niemetz, Aina 1 Parton, Maurizio 1 Phan, Quoc-Sang 1 Poupart, Pascal 1 Powell, Michael C. 1 Preiner, Mathias 1 Ranea, Adrián H. 1 Rijmen, Vincent 1 Rümmer, Philipp 1 Saarikivi, Olli 1 Sakallah, Karem A. 1 Salmasizadeh, Mahmoud 1 Schumann, Johann M. Ph. 1 Scozzari, Francesca 1 Sebastiani, Roberto 1 Sen, Koushik 1 Smolka, Scott A. 1 Søndergaard, Harald 1 Song, Ling 1 Song, Xiaoyu 1 Stuckey, Peter James 1 Su, Purui 1 Tarasich, Yu. 1 Tillmann, Nikolai 1 Tinelli, Cesare ...and 13 more Authors all top 5 Cited in 13 Serials 5 Journal of Automated Reasoning 3 Journal of Symbolic Computation 3 Formal Methods in System Design 3 Annals of Mathematics and Artificial Intelligence 2 Programming and Computer Software 2 Formal Aspects of Computing 2 Science China. Information Sciences 2 Journal of Logical and Algebraic Methods in Programming 1 Artificial Intelligence 1 Designs, Codes and Cryptography 1 Cybernetics and Systems Analysis 1 Theory of Computing Systems 1 Computer Languages, Systems & Structures all top 5 Cited in 8 Fields 36 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 4 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 Numerical analysis (65-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year