×

Found 135 Software Packages (Results 1–100)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,799 Publications (1993–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Referenced in: 484 Publications (1978–2021)
Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Z

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

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Referenced in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

SPARQL

Software Authors:   w3.org; Arenas, Marcelo; Pérez, Jorge
Referenced in: 86 Publications (2007–2022)
Related Software: Jena; XPath; LUBM; Pellet; DBpedia; nSPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Referenced in: 87 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; LPG; MiniSat; CPlan; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Ptolemy

Software Authors:   Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong
Referenced in: 64 Publications (1995–2022)
Related Software: Metropolis; Simulink; StateFlow; Esterel; SIGNAL; Reo; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Referenced in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

COMAL

Software Authors:   Benedict Løfstedt; Børge R. Christensen
Referenced in: 1 Publication (1982)
Related Software:
Main Fields: Computer science (68-XX)

CompCert

Software Authors:   Leroy, X.
Referenced in: 48 Publications (2009–2022)
Related Software: Coq; z3; Isabelle/HOL; cminor; Isabelle; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

GROOVE

Software Authors:   Kastenberg, H., Rensink, A.
Referenced in: 42 Publications (2004–2020)
Related Software: AGG; SPIN; CheckVML; GrGen; Bogor; Henshin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

swrl

Software Authors:   Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.
Referenced in: 30 Publications (2005–2021)
Related Software: Pellet; FaCT++; SPARQL; Jena; HiLog; Protege; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ConGolog

Software Authors:   De Giacomo; Lespérance, Y.; Levesque, H.J.
Referenced in: 40 Publications (1999–2022)
Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

PNML

Software Authors:   Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Referenced in: 27 Publications (1992–2021)
Related Software: Woflan; YAWL; TRANSPATH; SPIN; FAST; SNOOPY; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

LUSTRE

Software Authors:   Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A.
Referenced in: 38 Publications (1992–2018)
Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Ruby

Software Authors:   Flanagan, D.; Matsumoto, Y.
Referenced in: 23 Publications (2002–2017)
Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

JavaFAN

Software Authors:   Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Referenced in: 30 Publications (2004–2018)
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Referenced in: 31 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MANIFOLD

Software Authors:   Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A.
Referenced in: 27 Publications (1993–2012)
Related Software: Linda; Reo; LIME; KLAIM; Oz; Rapide; …
Main Fields: Computer science (68-XX)

DACTL

Software Authors:   John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep
Referenced in: 27 Publications (1987–2015)
Related Software: DIEGO; PROGRES; MONSTR; Miranda; CLEAN; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

RuleML

Software Authors:   Eberhart, Andreas
Referenced in: 20 Publications (2002–2020)
Related Software: swrl; TRIPLE; Protege; PyGaze; DeepRED; Psychophysics Toolbox; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

qGCL

Software Authors:   Zuliani, Paolo
Referenced in: 23 Publications (2000–2021)
Related Software: QPL; Quipper; ScaffCC; LIQUi; GitHub; PyTorch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

2APL

Software Authors:   Dastani, Mehdi
Referenced in: 13 Publications (2009–2020)
Related Software: Jason; AgentSpeak; Jadex; Linda; JADE; 3APL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PolyTOIL

Software Authors:   Bruce, K., Schuett, A., van Gent, R., Fiech, A.
Referenced in: 19 Publications (1997–2014)
Related Software: Eiffel; Featherweight Java; Smalltalk; BETA; ML; Simula 67; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL-OCL

Software Authors:   Brucker, Achim D.; Wolff, Burkhart
Referenced in: 13 Publications (2002–2016)
Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PiDuce

Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)

Centaur

Software Authors:   Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V
Referenced in: 18 Publications (1991–2019)
Related Software: K Prover; Coq; Maude; ML; MMT; JavaFAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 18 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SCR

Software Authors:   Bourguiba, Imen; Moa, Belaid
Referenced in: 10 Publications (2000–2018)
Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Atomizer

Software Authors:   Flanagan C, Freund SN
Referenced in: 16 Publications (2004–2021)
Related Software: Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-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)

MBase

Software Authors:   Franke, Andreas; Kohlhase, Michael
Referenced in: 17 Publications (1999–2006)
Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

Metropolis

Software Authors:   Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A
Referenced in: 7 Publications (2006–2018)
Related Software: Ptolemy; Reo; SPIN; Esterel; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

LBS

Software Authors:   Pedersen, Michael; Plotkin, Gordon D.
Referenced in: 14 Publications (2010–2020)
Related Software: Bio-PEPA; BioNetGen; BIOCHAM; PRISM; BlenX; NFsim; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

ArcAngel

Software Authors:   Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
Referenced in: 11 Publications (2003–2019)
Related Software: Z; ProofPower; Circus; ClawZ; ZRC; ArcAngelC; …
Main Fields: Computer science (68-XX)

Henshin

Software Authors:   Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer
Referenced in: 12 Publications (2012–2021)
Related Software: AGG; GROOVE; PRISM; Maude; Isabelle/HOL; GrGen; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Java Jr

Software Authors:   Jeffrey, Alan; Rathke, Julian
Referenced in: 12 Publications (2005–2015)
Related Software: Z; Eiffel; Multilisp; Maude; TALx86; Fides; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Referenced in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

MJ

Software Authors:   Bierman GM, Parkinson MJ, Pitts AM
Referenced in: 9 Publications (2006–2019)
Related Software: Featherweight Java; Welterweight Java; Cyclone; JavaSPI; AGVI; Scala; …
Main Fields: Computer science (68-XX)

K-Java

Software Authors:   Denis Bogdănaş, Grigore Roşu
Referenced in: 11 Publications (2015–2021)
Related Software: K Prover; Maude; KJS; Coq; GitHub; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Society Visualiser

Software Authors:   Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
Referenced in: 8 Publications (2007–2013)
Related Software: ISLANDER; CCalc; NuSMV; 2APL; Moise+; Jason; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Referenced in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

MOMENT2

Software Authors:   Artur Boronat; Peter Csaba Ölveczky
Referenced in: 9 Publications (2010–2016)
Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UnQL

Software Authors:   Peter Buneman, Mary Fernandez, Dan Suciu
Referenced in: 10 Publications (2006–2018)
Related Software: XPath; XQuery; XDuce; CDuce; Quilt; MongoDB; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

VeriFun

Software Authors:   Christoph Walther; Stephan Schweitzer
Referenced in: 10 Publications (2005–2017)
Related Software: ACL2; Haskell; Coq; Isabelle/HOL; SPIKE; AProVE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

MOFLON

Software Authors:   Amelunxen, C., Königs, A., Rötschke, T., Schürr
Referenced in: 1 Publication (2006)
Related Software: Moflon; PROGRES; VIATRA2; AGG; SelfSync; Ptolemy; …
Main Fields: Computer science (68-XX)

TRX

Software Authors:   Koprowski, Adam; Binsztok, Henri
Referenced in: 8 Publications (2010–2020)
Related Software: Coq; Agda; HOL; CompCert; GitHub; seL4; …
Main Fields: Computer science (68-XX)

KJS

Software Authors:   Daejun Park, Andrei Ştefănescu, Grigore Roşu
Referenced in: 8 Publications (2015–2021)
Related Software: K-Java; Maude; Coq; JavaScript; K Prover; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

SchemaSQL

Software Authors:   Lakshmanan LVS, Sadri F, Subramanian IN
Referenced in: 3 Publications (2001–2017)
Related Software: PostgreSQL; R; lattice; SAS; Stata; ggplot2; …
Main Fields: Computer science (68-XX)

UMM

Software Authors:   Yang Y, Gopalakrishnan G, Lindstrom G
Referenced in: 6 Publications (2007–2016)
Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; …
Main Fields: Computer science (68-XX)

ACTLW

Software Authors:   –
Referenced 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)

C-SPARQL

Software Authors:   Barbieri, Davide Francesco; Braga, Daniele; Ceri, Stefano; Della Valle, Emanuele; Grossniklaus, Michael
Referenced in: 7 Publications (2010–2022)
Related Software: SPARQL; Clingo; oClingo; Apache Flink; Graal; Jena; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Density Compiler

Software Authors:   Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Referenced in: 7 Publications (2015–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; Lifting; Transfer; Coq; …
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

LPTP

Software Authors:   Stärk, Robert F.
Referenced in: 6 Publications (1998–2016)
Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; …
Main Fields: Computer science (68-XX)

Rfuzzy

Software Authors:   Susana Munoz-Hernandez, Victor Pablos Ceruelo, Hannes Strass
Referenced in: 4 Publications (2011–2019)
Related Software: XPath; FRIL; WordNet; Likelog; XQuery; ML
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

XPathLog

Software Authors:   May, Wolfgang
Referenced in: 1 Publication (2004)
Related Software: XPath; XQuery; XCentric; TOY; Haskell; Lore; …
Main Fields: 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)

JSAI

Software Authors:   Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
Referenced in: 4 Publications (2017–2021)
Related Software: JavaScript; Phantm; Norn; Node.js; ast; GATEKEEPER; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

RT-ASLAN

Software Authors:   Auernheimer B, Kemmerer R A.
Referenced in: 3 Publications (1994–2002)
Related Software: Esterel; Ada95; ASTRAL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Vellvm

Software Authors:   Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve
Referenced in: 6 Publications (2012–2016)
Related Software: Coq; STP; LCT; jCUTE; SMACK; BoogiePL; …
Main Fields: Computer science (68-XX)

ConSpec

Software Authors:   Aktug, Irem; Naliuka, Katsiaryna
Referenced in: 5 Publications (2008–2013)
Related Software: SPIN; AspectJ; SLAM; jContractor; PQL; J-LO; …
Main Fields: Computer science (68-XX)

Dist-Orc

Software Authors:   Musab AlTurki; José Meseguer
Referenced in: 5 Publications (2011–2015)
Related Software: Maude; JavaFAN; Java+ITP; K Prover; MOMENT2; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LusSy

Software Authors:   Moy, M., Maraninchi, F., Maillet-Contoz, L.
Referenced in: 3 Publications (2007–2013)
Related Software: SystemC; KRATOS; veriSoft; Esterel; Pinapa; LLVM; …
Main Fields: Computer science (68-XX)

Mosel

Software Authors:   P. Kelb, T. Margaria, M. Mendler, C. Gsottberger
Referenced in: 4 Publications (1998–2018)
Related Software: MONA; ATV; BioMOBY; Bio-SPICE; ClustalW; EMBOSS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Refiner

Software Authors:   Hunt, Kenny; Cremer, James
Referenced in: 5 Publications (1995–2005)
Related Software: nauty; MOLGEN; ACSL; AMPL; OOPM; Mathematica; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Computer science (68-XX)

TinkerType

Software Authors:   Levin, Michael Y.; Pierce, Benjamin C.
Referenced in: 5 Publications (2003–2010)
Related Software: ML; OCaml; Ott; CASL; LaTeX; Freshml; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TURTLE-P

Software Authors:   Apvrille, Ludovic; De Saqui-Sannes, Pierre; Khendek, Ferhat
Referenced in: 2 Publications (2003–2006)
Related Software: Uppaal; Kronos; TAXYS; TINA; TTool
Main Fields: Computer science (68-XX)

AADL

Software Authors:   Kyungmin Bae, Peter Ölveczky, José Meseguer
Referenced in: 3 Publications (2012–2016)
Related Software: LNT2LOTOS; Esterel; GRL; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

CoqJVM

Software Authors:   The Coq development team, CNRS, INRIA and Université Paris Sud
Referenced in: 4 Publications (2008–2021)
Related Software: Isabelle/HOL; HOL; TSL; K Prover; TSOTool; CompCert; …
Main Fields: Computer science (68-XX)

CSPsim

Software Authors:   Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.
Referenced in: 4 Publications (2007–2009)
Related Software: Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; …
Main Fields: Computer science (68-XX)

CTL-RP

Software Authors:   Zhang, Lan; Hustadt, Ullrich; Dixon, Clare
Referenced in: 4 Publications (2010–2014)
Related Software: SPASS; TRP++; XPath; NuSMV; PGSolver; TSPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Luck

Software Authors:   Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao
Referenced in: 4 Publications (2017–2021)
Related Software: QuickCheck; PVS; Isabelle/HOL; Nitpick; WhyML; Mathematical Components; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

R-Charon

Software Authors:   Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup
Referenced in: 4 Publications (2006–2013)
Related Software: QEPCAD; Charon; RAMAS; d/dt; ToolboxLS; HYSDEL; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Template-Coq

Software Authors:   Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas
Referenced in: 4 Publications (2018–2021)
Related Software: Coq; MetaCoq; Idris; CertiCoq; Mtac; ELPI; …
Main Fields: Computer science (68-XX)

Unbound

Software Authors:   Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim
Referenced in: 4 Publications (2011–2019)
Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AceRules

Software Authors:   Kuhn, T.
Referenced in: 2 Publications (2013–2019)
Related Software: PENGASP; YACC; ALGOL 60
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CompCertS

Software Authors:   Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre
Referenced in: 3 Publications (2017–2019)
Related Software: CompCertTSO; Coq; CompCert; dedukti; CakeML; PVS
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Conductor

Software Authors:   Camilli, Matteo; Bellettini, Carlo; Capra, Lorenzo; Monga, Mattia; Netflix
Referenced in: 3 Publications (2018–2021)
Related Software: OpenSHMEM; GPS; GoFFish; Airflow; Apache Samza; Elasticsearch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MetaEnv

Software Authors:   Baresi, Luciano; Pezzè, Mauro
Referenced in: 2 Publications (2002–2007)
Related Software: AToM3; PROGRES; VPM; AGG; GenGED; LEMMA; …
Main Fields: Computer science (68-XX)

NetCore

Software Authors:   Monsanto, Christopher; Foster, Nate; Harrison, Rob; Walker, David
Referenced in: 2 Publications (2013–2018)
Related Software: nftables; iptables; pgf; Routing; ConfigChecker; LOFT; …
Main Fields: Computer science (68-XX)

OTSL

Software Authors:   Anureev, Igor S.
Referenced in: 3 Publications (2007–2009)
Related Software: XASM; AsmL
Main Fields: Computer science (68-XX)

Petri-PDL

Software Authors:   Braga, Christiano; Lopes, Bruno
Referenced in: 3 Publications (2016–2018)
Related Software: Maude
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

POGTGolog

Software Authors:   Finzi, Alberto; Lukasiewicz, Thomas
Referenced in: 2 Publications (2020–2021)
Related Software: GTGolog; Gambit; GOLOG
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

REFINER

Software Authors:   Wijs, A., Engelen, L.
Referenced in: 2 Publications (2016–2018)
Related Software: Coq; GPU-PRISM; Rodin; CADP; mCRL2; PRISM
Main Fields: Computer science (68-XX)

SBQL

Software Authors:   Cybula, Piotr; Subieta, Kazimierz
Referenced in: 2 Publications (2005–2006)
Related Software: ODRA; AToM3; VIATRA2
Main Fields: Computer science (68-XX)

SEMANOL

Software Authors:   Anderson, E. R.; Belz, F. C.; Blum, E. K.
Referenced in: 3 Publications (1976–1984)
Related Software: ALGOL 68; Refal; ALGOL 60
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX)

UMLsec

Software Authors:   Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S
Referenced in: 1 Publication (2018)
Related Software: Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; …
Main Fields: Computer science (68-XX)

verifier

Software Authors:   Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki
Referenced in: 3 Publications (2016–2019)
Related Software: QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

Vivid

Software Authors:   Arkoudas, Konstantine; Bringsjord, Selmer
Referenced 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)

ABASH

Software Authors:   Mazurak, K., Zdancewic, S.
Referenced in: 1 Publication (2010)
Related Software: NixOS; OPIUM
Main Fields: Computer science (68-XX)

Clafer

Software Authors:   –
Referenced in: 2 Publications (2017–2018)
Related Software: FAT; fmp2rsm; MTBDD; JFLAP; VATA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoBoxes

Software Authors:   Jan Schäfer, Arnd Poetzsch-Heffter
Referenced in: 1 Publication (2017)
Related Software: JavAdaptor; JCobox; ABS; Fredhopper; Creol; Maude; …
Main Fields: Computer science (68-XX)

GRL

Software Authors:   Jebali F, Lang F, Mateescu R
Referenced in: 1 Publication (2016)
Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

Jinja not Java

Software Authors:   Gerwin Klein; Tobias Nipkow
Referenced in: 2 Publications (2016–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; K Prover; CLDC; BicolanoMT; Jinja Threads; …
Main Fields: Computer science (68-XX)

KIEL

Software Authors:   Rudolf Berghammer; Ulf Milanese
Referenced in: 2 Publications (2002)
Related Software: FAUST; CAITLIN; Tango; ANIMAL; Pavane; JOTSA; …
Main Fields: Computer science (68-XX)

mbeddr

Software Authors:   Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb
Referenced in: 1 Publication (2017)
Related Software: Cyclone; Hume; Cedalion; JastAdd; Feldspar; js_of_ocaml; …
Main Fields: Computer science (68-XX)

mctau

Software Authors:   Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
Referenced in: 1 Publication (2013)
Related Software: Uppaal; PHAVer; SpaceEx; HSolver; Benchmarks; RSOLVER; …
Main Fields: Computer science (68-XX)