×

Found 18 Software Packages (Results 1–18)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Referenced 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)

cminor

Software Authors:   Appel, A.W., Blazy, S.
Referenced 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)

HasCasl

Software Authors:   Schr"oder, Lutz; Mossakowski, Till
Referenced in: 17 Publications (2002–2015)
Related Software: CASL; Haskell; Hets; Maude; F#; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Isabelle/UTP

Software Authors:   Foster, Simon; Zeyda, Frank; Woodcock, Jim
Referenced in: 17 Publications (2015–2021)
Related Software: Circus; Isabelle/HOL; Z; Archive Formal Proofs; Sledgehammer; Isabelle; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Tecton

Software Authors:   Kapur, D.; Nie, X.; Musser, D. R.
Referenced in: 5 Publications (1994–2003)
Related Software: RRL; NQTHM; AFFIRM; Nuprl; LARCH; STL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Java+ITP

Software Authors:   Sasse, R., Meseguer, J.
Referenced in: 7 Publications (2007–2013)
Related Software: Maude; JavaFAN; K Prover; ACL2; MMT; Centaur; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Referenced in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Bedrock

Software Authors:   Adam Chlipala
Referenced in: 4 Publications (2017–2019)
Related Software: Coq; Toolchain; OCaml; Archive Formal Proofs; Amortized Complexity; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Crowfoot

Software Authors:   Charlton, Nathaniel; Horsfall, Ben; Reus, Bernhard
Referenced 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)

UTP2

Software Authors:   Andrew BUTTERFIELD
Referenced in: 5 Publications (2010–2019)
Related Software: Saoithin; Isabelle/HOL; Isabelle/UTP; ProofPower; PVS; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriCon

Software Authors:   Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A.
Referenced in: 5 Publications (2014–2021)
Related Software: Anteater; NetKAT; Kuai; VeriFlow; Frenetic; LoLA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Saoithin

Software Authors:   Andrew BUTTERFIELD
Referenced in: 4 Publications (2010–2017)
Related Software: UTP2; Isabelle/HOL; PVS; Coq; Isabelle/UTP; Isabelle/Circus; …
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.
Referenced in: 3 Publications (2018–2021)
Related Software: Coq; Rust; Dafny; GitHub; VeriFast; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Algebraic_VCs

Software Authors:   Gomes, V.B.F., Struth, G.
Referenced in: 2 Publications (2017–2022)
Related Software: Archive Formal Proofs; Isabelle/HOL; Transformer semantics; Quantales; KeYmaera X; Differential_Game_Logic; …
Main Fields: Computer science (68-XX)

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Referenced in: 1 Publication (2020)
Related Software: TrABin; Cloc; BoogiePL; ARMor; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Simpl

Software Authors:   Norbert Schirmer
Referenced in: 1 Publication (2016)
Related Software: Kleene Algebra; Regular Sets; Archive Formal Proofs; Circus; WhyML; Why3; …
Main Fields: Computer science (68-XX)

Complx

Software Authors:   Amani, S., Andronick, J., Bortin, M., Lewis, C., Christine, R., Tuong, J.
Referenced in: 0 Publications
Related Software:
Main Fields:

Hoarescope

Software Authors:   spockman
Referenced in: 0 Publications
Related Software:
Main Fields: