×

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.68472
Ganesh, 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

Citations by Year