×

Found 36 Software Packages (Results 1–36)

Z

Software Authors:   Woodcock, Jim; Davies, Jim
Referenced in: 228 Publications (1958–2022)
Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

CASL

Software Authors:   Mossakowski, Till
Referenced in: 171 Publications (1999–2021)
Related Software: CafeOBJ; Hets; Maude; OBJ3; CoFI; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

LARCH

Software Authors:   Guttag, John V.; Horning, James J.
Referenced in: 94 Publications (1989–2021)
Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

CoFI

Software Authors:   Mosses, Peter D.
Referenced in: 39 Publications (1997–2017)
Related Software: CASL; ATERM; Maude; OMDoc; MAYA; OBJ3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)

GEOTHER 1.1

Software Authors:   Dongming Wang
Referenced in: 31 Publications (1996–2021)
Related Software: GeoGebra; GEX; GeoThms; GCLC; GCLCprover; MMP/Geometer; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Geometry (51-XX)

mCRL

Software Authors:   Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
Referenced in: 23 Publications (2001–2016)
Related Software: Uppaal; SPIN; CADP; mCRL2; ATERM; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Referenced in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

CCSL

Software Authors:   Jan Rothe, Bart Jacobs, and Hendrik Tews
Referenced in: 24 Publications (2001–2015)
Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Zenon

Software Authors:   Bonichon, Richard; Delahaye, David; Doligez, Damien
Referenced in: 19 Publications (2007–2021)
Related Software: Coq; TPTP; dedukti; Isabelle/HOL; FoCaLiZe; BWare; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Charon

Software Authors:   Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup
Referenced in: 16 Publications (2000–2016)
Related Software: HyTech; SpaceEx; d/dt; HyCreate; HYST; HyDI; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-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)

HipSpec

Software Authors:   Claessen, Koen; Johansson, Moa; Ros'en, Dan; Smallbone, Nicholas
Referenced in: 15 Publications (2013–2021)
Related Software: Zeno; Hipster; CVC4; VAMPIRE; Theorema; Cyclist; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Referenced in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AoPA

Software Authors:   Mu, Shin-Cheng; Ko, Hsiang-Shang; Jansson, Patrik
Referenced in: 8 Publications (2009–2017)
Related Software: Agda; Coq; Idris; Haskell; Cayenne; Irdis; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

GRASShopper

Software Authors:   R. Piskac, T. Wies, and D. Zufferey
Referenced 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)

muFP

Software Authors:   Sheeran, M.
Referenced in: 5 Publications (2007–2018)
Related Software: Lava; Coquet; Coq; Haskell; Kami; Agda; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

kProbLog

Software Authors:   Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc
Referenced in: 5 Publications (2016–2021)
Related Software: ProbLog; Dyna; BLOG; PRISM; kFOIL; FPsolve; …
Main Fields: Computer science (68-XX)

MAS

Software Authors:   Kredel, H., Pesch, M
Referenced in: 5 Publications (1997–2015)
Related Software: Kan; BERGMAN; Felix; Macaulay2; SINGULAR; Plural; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)

Kami

Software Authors:   Choi, J., Vijayaraghavan, M., Sherman, B., Chlipala, A., Arvind
Referenced in: 4 Publications (2018–2021)
Related Software: Coq; GitHub; Coquet; Haskell; FreeSpec; operational; …
Main Fields: Computer science (68-XX)

JACK

Software Authors:   Freitas, Leonardo; Cavalcanti, A.L.C.; Sampaio, Augusto
Referenced in: 1 Publication (2009)
Related Software: Circus; ProBE; FDR2; Z; MOCHA; Z/EVES; …
Main Fields: Computer science (68-XX)

pyomo.dae

Software Authors:   Nicholson, Bethany; Siirola, John D.; Watson, Jean-Paul; Zavala, Victor M.; Biegler, Lorenz T.
Referenced in: 2 Publications (2018–2022)
Related Software: Optimica; JModelica; TACO; ACADO; Pyomo; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BMaude

Software Authors:   Meseguer, José; Roşu, Grigore
Referenced in: 2 Publications (2002–2004)
Related Software: Maude; CafeOBJ; OBJ3
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JWalk

Software Authors:   Anthony Simons
Referenced in: 0 Publications
Related Software: NanoXML; JCrasher; Eclat; Rostra; JUnit; Korat; …
Main Fields:

MobileOBJ

Software Authors:   Ouranos, Iakovos; Stefaneas, Petros; Frangos, Panayiotis
Referenced in: 1 Publication (2004)
Related Software: CafeOBJ; MAYA
Main Fields: Computer science (68-XX)

ODEPACK++

Software Authors:   B. Allan, S. Lefantzi, J. Ray,
Referenced in: 1 Publication (2015)
Related Software: LAMMPS; VMD; MUI; Uintah; SCIRun2; MUPHY; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

SuiteSparse.GraphBLAS

Software Authors:   Barthwal, Aditi; Norrish, Michael
Referenced in: 2 Publications (2019–2022)
Related Software: na20; Ode15s; OEIS; GraphBLAS; GraphMat; RedisGraph; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Measure and integration (28-XX)

TRAM

Software Authors:   Ogata, Kazuhiro; Kondo, Masaru; Ioroi, Shigenori; Futatsugi, Kokichi
Referenced in: 2 Publications (1997–2014)
Related Software: CITP; UNITY; Maude; CafeOBJ; CIRC; OBJ3
Main Fields: Computer science (68-XX)

VERSA

Software Authors:   D. Clarke, I. Lee, H.-l. Xie
Referenced in: 2 Publications (1997–2017)
Related Software: CARTS; Uppaal
Main Fields: Computer science (68-XX)

BLUEVERI

Software Authors:   Lvov, Alexey; Lastras-Montaño, Luis A.; Trager, Barry; Paruthi, Viresh; Shadowen, Robert; El-Zein, Ali
Referenced in: 1 Publication (2014)
Related Software: STABLE; SINGULAR
Main Fields: Commutative algebra (13-XX); Information and communication theory, circuits (94-XX)

CafePie

Software Authors:   T. Ogawa; J. Tanaka
Referenced in: 1 Publication (2009)
Related Software: Hyperproof; Dr.Doodle; GROVER; CafeOBJ; Vivid
Main Fields: Computer science (68-XX)

GenCCSL

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy
Referenced in: 1 Publication (2015)
Related Software: TimeSquare; CCSL
Main Fields: Computer science (68-XX)

PAFSV

Software Authors:   Man, Ka Lok; Lei, Chi-Un; Kapoor, Hemangee K.; Krilavicius, Tomas; Ma, Jieming; Zhang, Nan
Referenced in: 1 Publication (2016)
Related Software: Verilog; Uppaal; SPIN
Main Fields: Computer science (68-XX)

petBoss

Software Authors:   Yu, Cunxi; Yasin, Atif; Su, Tiankai; Mishchenko, Alan; Ciesielski, Maciej
Referenced in: 1 Publication (2018)
Related Software: ABC; STABLE; SINGULAR
Main Fields: Computer science (68-XX)

SQLCert

Software Authors:   Benzaken, V., Contejean, E.
Referenced in: 1 Publication (2018)
Related Software: SEQUEL; Q*cert; HoTTSQL; CertiCoq; CertiKOS; Fiat; …
Main Fields: Computer science (68-XX)