OMRS Cited in 38 Documents (1995–2009) Software Authors: Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio Related Software: Analytica; Theorema; PVS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
RGITL Cited in 8 Documents (2014–2022) Software Authors: Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang Related Software: SPIN; KIV; Dafny; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ACTLW Cited in 6 Documents (2008–2016) Software Authors: – Related Software: SPIN; COWS; mCRL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TransG Cited in 7 Documents (2019–2023) Software Authors: Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu Related Software: RotatE; word2vec; Adam; … Main Fields: Computer science (68-XX)
CASPA Cited in 4 Documents (2008–2015) Software Authors: Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus Related Software: PRISM; PARAM; CUDD Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
VST-Floyd Cited in 4 Documents (2018–2023) Software Authors: Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. Related Software: Coq; VeriFast; Toolchain; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Qex Cited in 3 Documents (2010–2011) Software Authors: Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan Related Software: MONA; z3; TPTP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Vivid Cited in 3 Documents (2009–2017) Software Authors: Arkoudas, Konstantine; Bringsjord, Selmer Related Software: SNARK; Mizar; Mathematica; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
Ariel Cited in 2 Documents (1991) Software Authors: Morris, James M.; Howard, Mark Related Software: Caliban; Clio; Miranda Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
GROOME Cited in 2 Documents (2001) Software Authors: Ganzha, Victor G.; Chibisov, Dmytro; Vorozhtsov, Evgenii V. Related Software: SciNapse; Maple Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)
Metatheory.jl Cited in 1 Document (2022) Software Authors: Alessandro Cheli Related Software: ModelingToolkit.jl; SymPy; SymbolicNumericIntegration.jl; … Main Fields: Computer science (68-XX)
BinSim Cited in 1 Document (2019) Software Authors: Ming, J., Xu, D., Jiang, Y., Wu, D. Related Software: DynOpVm; VOT4CS; pyftpdlib; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
ConfigChecker Cited in 1 Document (2018) Software Authors: Al-Shaer, E., Alsaleh, M. Related Software: GitHub; NetKAT; Firmato; … Main Fields: Computer science (68-XX)
Forest Cited in 0 Documents Software Authors: Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q. Related Software: Graphviz Main Fields: –
JFIX Cited in 0 Documents Software Authors: LE, Dinh Xuan Bach; David Lo Related Software: Codeflaws; Qlose; Angelix; … Main Fields: –
StrataGEM Cited in 0 Documents Software Authors: López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier Related Software: BEEM; Tom; libDDD; … Main Fields: Computer science (68-XX)