×

Found 28 Software Packages (Results 1–28)

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: