×

Found 16 Software Packages (Results 1–16)

OMRS

Software Authors:   Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
Cited in: 38 Publications (1995–2009)
Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

ACTLW

Software Authors:   –
Cited in: 6 Publications (2008–2016)
Related Software: SPIN; COWS; mCRL; wRebeca; AODV; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RGITL

Software Authors:   Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang
Cited in: 7 Publications (2014–2022)
Related Software: SPIN; KIV; GNATprove; Isabelle/HOL; CIRC; CPAchecker; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CASPA

Software Authors:   Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus
Cited in: 4 Publications (2008–2015)
Related Software: PRISM; CUDD; PARAM
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

TransG

Software Authors:   Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu
Cited in: 4 Publications (2019–2022)
Related Software: word2vec; GitHub; RDF2vec; DGL; shap; DBpedia; …
Main Fields: Computer science (68-XX)

Qex

Software Authors:   Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan
Cited in: 3 Publications (2010–2011)
Related Software: MONA; z3; TPTP; Dafny
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Vivid

Software Authors:   Arkoudas, Konstantine; Bringsjord, Selmer
Cited in: 3 Publications (2009–2017)
Related Software: SNARK; Mizar; Mathematica; Hyperproof; Dr.Doodle; CafePie; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-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; RustBelt; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ariel

Software Authors:   Morris, James M.; Howard, Mark
Cited in: 2 Publications (1991)
Related Software: Caliban; Clio; Miranda
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

GROOME

Software Authors:   Ganzha, Victor G.; Chibisov, Dmytro; Vorozhtsov, Evgenii V.
Cited in: 2 Publications (2001)
Related Software: SciNapse; Maple
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)

BinSim

Software Authors:   Ming, J., Xu, D., Jiang, Y., Wu, D.
Cited in: 1 Publication (2019)
Related Software: VOT4CS; pyftpdlib; DynOpVm; VMHunt; NISLVMP; SEEAD; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

ConfigChecker

Software Authors:   Al-Shaer, E., Alsaleh, M.
Cited in: 1 Publication (2018)
Related Software: GitHub; Autoref; nftables; iptables; pgf; Routing; …
Main Fields: Computer science (68-XX)

Forest

Software Authors:   Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q.
Cited in: 0 Publications
Related Software: Graphviz
Main Fields:

JFIX

Software Authors:   LE, Dinh Xuan Bach; David Lo
Cited in: 0 Publications
Related Software: Codeflaws; Qlose; Angelix; GZoltar; Nopol; ASTOR; …
Main Fields:

Metatheory.jl

Software Authors:   Alessandro Cheli
Cited in: 0 Publications
Related Software: MatchCore.jl; MLStyle.jl; egg; RuntimeGeneratedFunctions.jl; Julia
Main Fields:

StrataGEM

Software Authors:   López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier
Cited in: 0 Publications
Related Software: BEEM; Tom; libDDD; SPIN; ELAN
Main Fields: Computer science (68-XX)