Nuprl Software Authors: R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith Cited in: 396 Publications (1986–2022) Related Software: Coq; HOL; Isabelle; Automath; PVS; ML; … Main Fields: –
NuSMV Software Authors: Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco; Roberto Cavada, Michele Dorigatti, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Andrei Tchaltsev Cited in: 266 Publications (1999–2022) Related Software: SPIN; Uppaal; CUDD; Chaff; PRISM; Bandera; … Main Fields: (68Q60-XX)
ACL2 Software Authors: Matt Kaufmann, Strother Moore Cited in: 280 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; PVS; Isabelle; HOL Light; … Main Fields: (03B35-XX); (68Q60-XX); (68T15-XX)
Z Software Authors: Woodcock, Jim; Davies, Jim Cited in: 228 Publications (1958–2022) Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; … Main Fields: (68Q60-XX); (68-01-XX)
Smodels Software Authors: Niemelä, Ilkka; Simons, P; Syrjänen, Tommi Cited in: 229 Publications (1999–2022) Related Software: ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; … Main Fields: (68T20-XX); (68T30-XX); (68T27-XX)
E Theorem Prover Software Authors: Stephan Schulz Cited in: 214 Publications (2001–2023) Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; Mizar; Sledgehammer; … Main Fields: –
LCF Software Authors: Milner, Robin Cited in: 157 Publications (1972–2022) Related Software: ML; Coq; HOL; Isabelle; Nuprl; Isabelle/HOL; … Main Fields: –
NQTHM Software Authors: Boyer, Robert S.; Moore, J. Strother Cited in: 141 Publications (1979–2021) Related Software: HOL; ACL2; PVS; Coq; ML; Nuprl; … Main Fields: (68T15-XX); (03B35-XX); (68-02-XX)
Isar Software Authors: Makarius Wenzel Cited in: 147 Publications (2000–2022) Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; … Main Fields: –
CP-nets Software Authors: Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole Cited in: 129 Publications (2004–2023) Related Software: Walksat; M-MACBETH; MiniSat; VisualUTA; Graphplan; PDDL; … Main Fields: (68T37-XX); (91B06-XX); (91B08-XX)
Oz Software Authors: Henz, M., Smolka, G., and Würtz, J. Cited in: 109 Publications (1994–2022) Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; … Main Fields: –
PDDL Software Authors: Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D. Cited in: 92 Publications (2000–2022) Related Software: Graphplan; Walksat; SAPA; LPG; MiniSat; UCPOP; … Main Fields: (68T20-XX)
Pellet Software Authors: Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.; Clark & Parsia, LLC Cited in: 67 Publications (2006–2022) Related Software: FaCT++; Racer; HermiT; swrl; Protege; Jena; … Main Fields: –
CCalc Software Authors: Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Cited in: 74 Publications (2003–2021) Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; … Main Fields: –
Nominal Isabelle Software Authors: Urban, Christian; Kaliszyk, Cezary Cited in: 77 Publications (2005–2022) Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Gephi Software Authors: M. Bastian, S. Heymann, M. Jacomy Cited in: 58 Publications (2012–2022) Related Software: NetworkX; ForceAtlas2; igraph; Cytoscape; Pajek; R; … Main Fields: –
Racer Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Cited in: 52 Publications (2001–2021) Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; … Main Fields: –
iProver Software Authors: Korovin, Konstantin Cited in: 56 Publications (2008–2022) Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; z3; CVC4; … Main Fields: (68T15-XX)
Abella Software Authors: Andrew Gacek Cited in: 53 Publications (2008–2022) Related Software: Twelf; Beluga; Coq; Isabelle/HOL; PoplMark; Bedwyr; … Main Fields: –
RRL Software Authors: D.Kapur; H.Zhang Cited in: 48 Publications (1985–2019) Related Software: NQTHM; REVE; OTTER; SPIKE; PVS; Tecton; … Main Fields: –
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: –
KIV Software Authors: M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al. Cited in: 50 Publications (1988–2021) Related Software: Z; PVS; Isabelle; JML; KRAKATOA; Why3; … Main Fields: –
MaLARea Software Authors: Urban, Josef Cited in: 49 Publications (2007–2021) Related Software: E Theorem Prover; Mizar; VAMPIRE; TPTP; MPTP 0.2; MaLeCoP; … Main Fields: (68T05-XX); (68T15-XX)
ConGolog Software Authors: De Giacomo; Lespérance, Y.; Levesque, H.J. Cited in: 40 Publications (1999–2022) Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; … Main Fields: (68T40-XX); (68Q10-XX)
CVC Software Authors: Stump, Aaron; Barrett, Clark W.; Dill, David L. Cited in: 45 Publications (2002–2021) Related Software: CVC Lite; SIMPLIFY; Chaff; SMT-LIB; ICS; MiniSat; … Main Fields: (68U99-XX); (68Q60-XX)
OSCAR Software Authors: Pollock, John L. Cited in: 42 Publications (1992–2021) Related Software: AFRA; ClaiMaker; C4.5; UCI-ml; PULCinella; M-MACBETH; … Main Fields: (68T15-XX)
FRIL Software Authors: Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W. Cited in: 37 Publications (1987–2020) Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; … Main Fields: –
Pregel Software Authors: Malewicz, G., Austern, M.H., Bik, A.J., Dehnert, J.C., Horn, I., Leiser, N., Czajkowski, G. Cited in: 37 Publications (2010–2022) Related Software: GraphLab; MapReduce; Hadoop; Giraph; PowerGraph; GraphX; … Main Fields: –
KL-ONE Software Authors: Baader, Franz; Sattler, Ulrike Cited in: 36 Publications (2001–2020) Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; … Main Fields: (03B35-XX); (68T15-XX); (68T27-XX)
PRISM Software Authors: Sato, T., Kameya, Y. Cited in: 41 Publications (2006–2022) Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; … Main Fields: –
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: (68M12-XX)
PAT Software Authors: Jun Sun, Yang Liu , Jin Song Dong , Jun Pang Cited in: 33 Publications (2011–2022) Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; … Main Fields: –
GEX Software Authors: Gao, X.-S., et al. Cited in: 30 Publications (1996–2020) Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; … Main Fields: –
Lifting Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 35 Publications (2013–2023) Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: –
Maude-NPA Software Authors: Escobar, Santiago; Meadows, Catherine Author Profile; Meseguer, José; Santiago, Sonia Cited in: 31 Publications (2009–2022) Related Software: Maude; AVISPA; TAMARIN; MTT; YAPA; NRL; … Main Fields: (68Q-XX)
Oyster Software Authors: Horn, Christian; Smaill, Alan Cited in: 33 Publications (1989–2021) Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; … Main Fields: (68T15-XX); (68Q60-XX); (03B15-XX)
Transfer Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 35 Publications (2013–2023) Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: –
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: (68N18-XX); (03B15-XX); (68N17-XX)
ConceptNet Software Authors: Liu H, Singh P; Havasi, C., Speer, R., Alonso, J. Cited in: 20 Publications (2007–2022) Related Software: WordNet; YAGO; BERT; BabelNet; word2vec; RoBERTa; … Main Fields: –
Jadex Software Authors: Pokahr A., Braubach L., Lamersdorf W. Cited in: 21 Publications (2005–2021) Related Software: Jason; AgentSpeak; 2APL; 3APL; JADE; CArtAgO; … Main Fields: –
3APL Software Authors: M. Dastani, F. Dignum, J.-J. Meyer Cited in: 23 Publications (2001–2016) Related Software: AgentSpeak; Jadex; Jason; KARO; 2APL; ConGolog; … Main Fields: –
DLV Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Cited in: 29 Publications (2001–2021) Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; … Main Fields: –
EasyCrypt Software Authors: Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella Cited in: 32 Publications (2011–2021) Related Software: Coq; F*; AVISPA; CryptHOL; Isabelle/HOL; ProVerif; … Main Fields: (94A60-XX); (68P25-XX); (91A80-XX)
IsaPlanner Software Authors: Lucas Dixon; Moa Johansson Cited in: 30 Publications (2000–2021) Related Software: Isabelle; Lambda-Clam; Isabelle/HOL; Coq; Isar; Theorema; … Main Fields: (classification-XX)
Beluga Software Authors: Brigitte Pientka; Joshua Dunfield Cited in: 28 Publications (2010–2022) Related Software: Twelf; Abella; Coq; PoplMark; Isabelle/HOL; Agda; … Main Fields: (classification-XX)
HR Software Authors: Colton, Simon Cited in: 27 Publications (2002–2022) Related Software: Mace4; OTTER; GRAFFITI; TPTP; AutoGraphiX; GAP; … Main Fields: (68T15-XX)
PrefLib Software Authors: Mattei, Nicholas; Walsh, Toby Cited in: 27 Publications (2015–2022) Related Software: PerMallows; PLMIX; Pmr; PlackettLuce; Rankcluster; prefmod; … Main Fields: (68T05-XX); (90B50-XX); (91B06-XX)
CommonKADS Software Authors: Van de velde Breuker Cited in: 26 Publications (1994–2014) Related Software: NeuroGaz; GitHub; VoteSim; DAMOCIA-Sim; DAMOCIA-Design Main Fields: (68T20-XX); (68-06-XX); (00B15-XX)
LOOP Software Authors: van den Berg, Joachim; Jacobs, Bart Cited in: 24 Publications (2001–2012) Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; … Main Fields: (68U99-XX); (68N20-XX); (68Q60-XX)
ARMC Software Authors: Andreas Podelski, Andrey Rybalchenko Cited in: 25 Publications (2007–2020) Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; … Main Fields: –
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 28 Publications (2014–2022) Related Software: HOL Light; Mizar; Flyspeck; VAMPIRE; TPTP; Isabelle/HOL; … Main Fields: (68T15-XX); (68T05-XX); (68T20-XX)
QUBE Software Authors: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Cited in: 26 Publications (2001–2018) Related Software: QuBE++; Quaffle; Chaff; semprop; DepQBF; MiniSat; … Main Fields: –
Cambridge LCF Software Authors: Paulson, Lawrence C.; Konrad Slind Cited in: 24 Publications (1985–2017) Related Software: Nuprl; HOL; LCF; ML; Automath; PVS; … Main Fields: (68Q65-XX); (03-01-XX); (68-01-XX)
Fuzzydl Software Authors: Bobillo, F.; Straccia, U. Cited in: 21 Publications (2009–2019) Related Software: DeLorean; FaCT++; Fril++; TuCSoN; Linda; SPARQL; … Main Fields: –
MetaPRL Software Authors: Jason Hickey, Alexey Nogin, Eli Barzilay Cited in: 26 Publications (2000–2022) Related Software: Coq; Nuprl; PVS; Agda; HOL; ML; … Main Fields: –
QuBE++ Software Authors: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Cited in: 24 Publications (2001–2018) Related Software: QUBE; Quaffle; MiniSat; Chaff; sKizzo; Quantor; … Main Fields: (68T20-XX); (68T15-XX)
DELORES Software Authors: Michael Maher; Tristan Miller Cited in: 20 Publications (2000–2020) Related Software: DR-Prolog; DLV2; WebPIE; LegalRuleML; swrl; Potassco; … Main Fields: –
Hyperproof Software Authors: Jon Barwise, John Etchemendy Cited in: 23 Publications (1994–2022) Related Software: Dr.Doodle; Isabelle; Pesca; Sledgehammer; VOWL; Vivid; … Main Fields: –
NetKAT Software Authors: Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D. Cited in: 26 Publications (2014–2021) Related Software: Frenetic; VeriFlow; VeriCon; Regular Sets; Coq; Nettle; … Main Fields: (68Nxx-XX)
AIS-BN Software Authors: Cheng, J.; Druzdzel, M.J. Cited in: 21 Publications (2000–2018) Related Software: GAJIT; AMIDST; PMTK; Netica; pwcet; MiniSat; … Main Fields: (68W05-XX); (68T35-XX)
LUBM Software Authors: Guo Y., Pan Z., Heflin J. Cited in: 17 Publications (2006–2022) Related Software: SPARQL; Jena; RDFox; DBpedia; swrl; Vadalog; … Main Fields: –
MSPASS Software Authors: Ullrich Hustadt, Renate A. Schmidt Cited in: 23 Publications (2000–2021) Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; QMLTP; Isabelle/HOL; … Main Fields: –
OilEd Software Authors: Bechhofer, Sean; Horrocks, Ian; Goble, Carole; Stevens, Robert Cited in: 24 Publications (2001–2008) Related Software: OntoEdit; Racer; Protege; DAML+OIL; Sonic; WebODE; … Main Fields: (68U99-XX); (68T30-XX)
PITA Software Authors: Riguzzi, Fabrizio; Swift, Terrance Cited in: 24 Publications (2010–2022) Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; … Main Fields: (68T37-XX); (68N17-XX)
Bedwyr Software Authors: David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu Cited in: 21 Publications (2007–2022) Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; … Main Fields: –
HermiT Software Authors: Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe; Shearer, R. Cited in: 20 Publications (2013–2022) Related Software: Pellet; FaCT++; Konclude; ELK; RacerPro; Racer; … Main Fields: –
Facile Software Authors: Giacalone, A., Mishra, P., Prasad, S Cited in: 22 Publications (1990–2009) Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; … Main Fields: –
NoMoRe Software Authors: Anger, Christian; Konczak, Kathrin; Linke, Thomas Cited in: 22 Publications (2001–2012) Related Software: ASSAT; Cmodels; Smodels; Lparse; Datalog; Gringo; … Main Fields: (68U99-XX); (68N17-XX); (68R10-XX)
RSat Software Authors: Knot Pipatsrisawat; Adnan Darwiche Cited in: 18 Publications (2008–2016) Related Software: MiniSat; Chaff; PicoSAT; BerkMin; SATzilla; SMT-LIB; … Main Fields: –
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; … Main Fields: (68T15-XX); (68T27-XX)
TAMARIN Software Authors: Meier, S., Schmidt, B., Cremers, C., Basin, D. Cited in: 20 Publications (2015–2023) Related Software: AVISPA; Akiss; Maude-NPA; Maude; ProVerif; Apte; … Main Fields: –
TRIPLE Software Authors: Sintek, Michael; Decker, Stefan Cited in: 16 Publications (2002–2015) Related Software: SPARQL; Smodels; swrl; DAML+OIL; RuleML; XSB; … Main Fields: (68U99-XX); (68M10-XX); (68T30-XX)
Cyc Software Authors: Cycorp Cited in: 12 Publications (2002–2013) Related Software: WordNet; TRIPLE; GermaNet; YAGO; CIP; Mathematica; … Main Fields: –
E-Darvin Software Authors: Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle Cited in: 19 Publications (2006–2021) Related Software: Darwin; Mace4; E Theorem Prover; TPTP; iProver; OTTER; … Main Fields: (03B35-XX); (68T15-XX)
SCIFF Software Authors: Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Cited in: 19 Publications (2006–2022) Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; DeepProbLog; … Main Fields: –
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: –
dedukti Software Authors: Mathieu Boespflug, Ronan Saillard, François Thiré, Gaspard Férey Cited in: 17 Publications (2012–2021) Related Software: Coq; Zenon; TPTP; HOL Light; FoCaLiZe; PVS; … Main Fields: –
DeepStack Software Authors: Moravčík, Matej; Schmid, Martin; Burch, Neil; Lisý, Viliam; Morrill, Dustin; Bard, Nolan; Davis, Trevor; Waugh, Kevin; Johanson, Michael; Bowling, Michael Cited in: 19 Publications (2017–2022) Related Software: Libratus; Pluribus; GameShrink; AlexNet; ImageNet; holdem; … Main Fields: (68T01-XX); (68T05-XX); (91A60-XX)
GASP Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Cited in: 17 Publications (2008–2021) Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; … Main Fields: (68N17-XX); (68T27-XX)
LARS Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Cited in: 19 Publications (2016–2022) Related Software: Clingo; SPARQL; C-SPARQL; oClingo; WASP; Apache Flink; … Main Fields: –
RSBR_ Software Authors: Zhong, Ning; Dong, Ju-Zhen; Ohsuga, Setsuo Cited in: 18 Publications (2001–2020) Related Software: LERS; C4.5; D-SCIDS; ROSE; UCI-ml; ReSySTER; … Main Fields: (68T30-XX); (68T05-XX)
SPASS+T Software Authors: Virgile Prevosto; Uwe Waldmann Cited in: 19 Publications (2007–2016) Related Software: z3; TPTP; MetiTarski; HOL Light; Isabelle/HOL; SMT-LIB; … Main Fields: –
YAPA Software Authors: Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie Cited in: 18 Publications (2009–2020) Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; … Main Fields: (94A60-XX); (03B25-XX); (68P25-XX)
Fathom Software Authors: Biehler, Rolf; Ben-Zvi, Dani; Bakker, Arthur; Makar, Katie Cited in: 2 Publications (2008–2019) Related Software: TinkerPlots; R Markdown; shiny; knitr; RStudio; WaveLab; … Main Fields: –
Jakarta Software Authors: Daniela Junho de Andrade, Simão Melo de Sousa Cited in: 17 Publications (2001–2014) Related Software: Coq; OCaml; LETOS; A3PAT; SCC; ITP; … Main Fields: (68U99-XX); (68P25-XX)
Leo-III Software Authors: Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph Cited in: 18 Publications (2015–2022) Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; SPASS; Sledgehammer; … Main Fields: (65Yxx-XX); (68T15-XX); (68U35-XX)
MathWeb Software Authors: Zimmer, Jürgen; Kohlhase, Michael Cited in: 16 Publications (2000–2016) Related Software: TPTP; OTTER; PVS; Nuprl; TRAMP; HR; … Main Fields: (68T15-XX); (03B35-XX)
Plastic Software Authors: Paul Callaghan Cited in: 17 Publications (2000–2014) Related Software: Coq; LEGO; ALF; FraCaS; GF; Nuprl; … Main Fields: –
SamIam Software Authors: Adnan Darwiche; Keith Cascio Cited in: 15 Publications (2002–2021) Related Software: R; bnlearn; BayesNetBP; ggplot2; gRain; qgraph; … Main Fields: –
SCEL Software Authors: Rocco De Nicola, Diego Latella. Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin Cited in: 15 Publications (2014–2021) Related Software: KLAIM; Maude; PALOMA; Linda; CARMA; SCELlight; … Main Fields: –
sKizzo Software Authors: Marco Benedetti Cited in: 18 Publications (2005–2021) Related Software: Quantor; Quaffle; QUBOS; DepQBF; QUBE; Bloqqer; … Main Fields: –
CoqHammer Software Authors: Czajka, Łukasz; Kaliszyk, Cezary Cited in: 17 Publications (2017–2021) Related Software: Coq; E Theorem Prover; Isabelle/HOL; Mizar; TPTP; VAMPIRE; … Main Fields: –
Isabelle/UTP Software Authors: Foster, Simon; Zeyda, Frank; Woodcock, Jim Cited in: 17 Publications (2015–2021) Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; … Main Fields: (68N30-XX)
Viper Software Authors: Peter Müller, Malte Schwerhoff , Alexander J. Summers Cited in: 17 Publications (2016–2023) Related Software: z3; Boogie; Frama-C; Dafny; VeriFast; Why3; … Main Fields: –
JGEX Software Authors: Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan Cited in: 15 Publications (2007–2020) Related Software: GEX; GeoGebra; GeoProof; GeoThms; GCLC; OpenGeoProver; … Main Fields: (68T15-XX); (51-04-XX)
sQueezeBF Software Authors: Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo Cited in: 16 Publications (2010–2021) Related Software: Bloqqer; DepQBF; Nenofex; MiniSat; semprop; QUBOS; … Main Fields: (68T20-XX)
ASPIDE Software Authors: Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco Cited in: 12 Publications (2012–2021) Related Software: SeaLion; Kara; APE; WASP; Potassco; spock; … Main Fields: (68N17-XX); (68T27-XX)
CEL Software Authors: Baader, F., Lutz, C., Suntisrivaraporn, B. Cited in: 13 Publications (2008–2017) Related Software: Pellet; FaCT++; Racer; HgMUS; ELK; BEACON; … Main Fields: –
i* Software Authors: University of Toronto Cited in: 11 Publications (2001–2004) Related Software: SecureUML; TAMBIS; UEML; GOLOG; SoFAR Main Fields: –
Ivy Software Authors: McMillan, K.L., Padon, O. Cited in: 14 Publications (2017–2023) Related Software: Ivy; z3; Verdi; nuXmv; PSync; Coq; … Main Fields: –