×

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; Boolector; Yices; MiniSat; KLEE; Pex; CVC4; MathSAT5; MathSAT; Chaff; SMT-LIB; GitHub; cvc3; Saturn; Symstra; jCUTE; Java PathFinder; CBMC
Cited in: 46 Documents

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 129 Authors

7 Ganesh, Vijay
3 Arusoaie, Andrei
3 Biere, Armin
3 Rusu, Vlad
2 Aref, Mohammad Reza
2 Azimi, Seyyed Arash
2 Bright, Curtis
2 Czarnecki, Krzysztof
2 Julliand, Jacques
2 Kotsireas, Ilias S.
2 Lucanu, Dorel
2 Masson, Pierre-Alain
2 Mohajeri, Javad
2 Ranea, Adrián H.
2 Rijmen, Vincent
2 Salmasizadeh, Mahmoud
2 Sun, Jiaguang
2 Wang, Meiqin
2 Wei, Puwen
2 Wintersteiger, Christoph M.
2 Zhou, Min
1 Al-Rawi, Bashar
1 Amato, Gianluca
1 Baarir, Souheib
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 Chen, Shiyao
1 Cheng, Xi
1 Chihani, Zakaria
1 Chung, Jonathan
1 Cui, Jiamin
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 Guo, Chun
1 Guo, Jian
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 Hu, Kai
1 Huang, Xiaowan
1 Huang, Zhangjie
1 Järvisalo, Matti
1 Jha, Somesh
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 Letychevs’kyĭ, Oleksandr Oleksandrovych
1 Li, Chung-Chih
1 Li, Chunxiao
1 Liang, Jiahui
1 Lingappan, Loganathan
1 Marre, Bruno
1 Mu, Alice
1 Mukherjee, Soham
1 Nejati, Saeed
1 Niemetz, Aina
1 Parton, Maurizio
1 Phan, Quoc-Sang
1 Poupart, Pascal
1 Powell, Michael C.
1 Preiner, Mathias
1 Rümmer, Philipp
1 Saarikivi, Olli
1 Sakallah, Karem A.
1 Schumann, Johann M. Ph.
1 Scozzari, Francesca
...and 29 more Authors

Citations by Year