VeriFast Software Authors: Bart Jacobs; Jan Smans; Frank Piessens Cited in: 61 Publications (2009–2022) Related Software: Boogie; Dafny; z3; Why3; jStar; Smallfoot; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Smallfoot Software Authors: Berdine, J., Calcagno, C., O’Hearn, P.W. Cited in: 51 Publications (2004–2022) Related Software: jStar; VeriFast; z3; Coq; HIP; SLAyer; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
Ynot Software Authors: Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars Cited in: 34 Publications (2008–2019) Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
jStar Software Authors: DiStefano, D., Parkinson, M. Cited in: 30 Publications (2008–2022) Related Software: VeriFast; Smallfoot; Boogie; Coq; Spec#; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HIP Software Authors: Wei-Ngan Chin; Huu Hai Nguyen; Cristina David; Cristian Gherghina; Quang Loc Le; Ton-Chanh Le; Asankhaya Sharma Cited in: 30 Publications (2007–2021) Related Software: Smallfoot; VeriFast; Slide; Coq; z3; Infer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Cyclist Software Authors: N Gorogiannis Cited in: 23 Publications (2014–2022) Related Software: Slide; HipSpec; SLAyer; HIP; VeriFast; Predator; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Slide Software Authors: Iosif, R., Rogalewicz, A., Vojnar, T. Cited in: 21 Publications (2013–2022) Related Software: Infer; HIP; Smallfoot; Cyclist; Predator; MONA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
cminor Software Authors: Appel, A.W., Blazy, S. Cited in: 17 Publications (2007–2016) Related Software: Coq; CompCert; Isabelle/HOL; CIL; Boogie; Dafny; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Predator Software Authors: Dudka, Kamil; Müller, Petr; Peringer, Petr; Vojnar, Tomáš Cited in: 14 Publications (2012–2021) Related Software: CPAchecker; CBMC; Slide; BLAST; Infer; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Viper Software Authors: Peter Müller, Malte Schwerhoff , Alexander J. Summers Cited in: 16 Publications (2016–2022) Related Software: Boogie; z3; Frama-C; Dafny; VeriFast; VerCors; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
VerCors Software Authors: Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina Cited in: 10 Publications (2014–2022) Related Software: Viper; Dafny; Boogie; GPUVerify; z3; Frama-C; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Charge! Software Authors: Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars Cited in: 10 Publications (2012–2021) Related Software: Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Separation Logic Software Authors: Peter Lammich; Rene Meis Cited in: 9 Publications (2015–2021) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; HOL; Dijkstra Shortest Path; Edmonds-Karp; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
GRASShopper Software Authors: R. Piskac, T. Wies, and D. Zufferey Cited in: 6 Publications (2015–2021) Related Software: z3; Slide; Infer; HIP; CVC4; HACL*; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Tensorforce Software Authors: Kuhnle, Alexander; Schaarschmidt, Michael; Fricke, Kai Cited in: 4 Publications (2021–2022) Related Software: TensorFlow; OpenAI Gym; PyTorch; Pybullet; Stable Baselines; Dopamine; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)
VeriSmall Software Authors: Appel, Andrew W. Cited in: 5 Publications (2012–2018) Related Software: Coq; Charge!; Smallfoot; SLAyer; VeriFast; jStar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Crowfoot Software Authors: Charlton, Nathaniel; Horsfall, Ben; Reus, Bernhard Cited in: 5 Publications (2011–2015) Related Software: Smallfoot; VeriFast; jStar; HIP; Ynot; CFML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
THOR Software Authors: Magill, S., Tsai, M.-H., Lee, P., Tsay, Y.-K. Cited in: 4 Publications (2008–2017) Related Software: Smallfoot; HIP; VeriFast; Slide; Infer; coreStar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Caper Software Authors: Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Andersen, Kristoffer Just; Birkedal, Lars Cited in: 3 Publications (2017–2021) Related Software: Viper; VeriFast; HACL*; TacticToe; GRASShopper; Infer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
coreStar Software Authors: M Botincan, D Distefano, M Dodds, et. al. Cited in: 3 Publications (2016–2017) Related Software: VeriFast; Cyclist; Smallfoot; SLAyer; Predator; Slide; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DTRE Software Authors: Lee Blaine, Allen Goldberg Cited in: 3 Publications (1993–2015) Related Software: Fiat; KIDS; OCaml; Coq; Specware; Nuprl; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
DynAlloy Software Authors: Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre Cited in: 2 Publications (2007–2021) Related Software: JPF-SE; YOGI; CBMC; LLBMC; TACO; Java PathFinder; … Main Fields: Computer science (68-XX)
TSAT++ Software Authors: Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco Cited in: 3 Publications (2005–2008) Related Software: CVC; SMT-LIB; Chaff; MiniSat; CVC Lite; lp_solve; … Main Fields: Computer science (68-XX)
VeriStar Software Authors: Stewart, Gordon; Beringer, Lennart; Appel, Andrew W. Cited in: 3 Publications (2012–2016) Related Software: Coq; jStar; Smallfoot; Rocksalt; Gallina; VeriSmall; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VST-Floyd Software Authors: Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. Cited in: 3 Publications (2018–2021) Related Software: Coq; Toolchain; Rust; Dafny; GitHub; VeriFast; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Auto2_Imperative_HOL Software Authors: Bohua Zhan Cited in: 2 Publications (2018) Related Software: Separation Logic; AUTO2; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Edmonds-Karp; … Main Fields: Computer science (68-XX)
SDSAT Software Authors: Ganai, Malay K; Talupur, Muralidhar; Gupta, Aarti Cited in: 2 Publications (2006–2007) Related Software: PVS; SATIRE; PBS Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RustBelt Software Authors: Jung, R., Jourdan, J.H., Krebbers, R., Dreyer, D. Cited in: 0 Publications Related Software: – Main Fields: –