×

Found 361 Software Packages (Results 1–100)

SPIN

Software Authors:   Bell Labs
Referenced in: 590 Publications (1990–2022)
Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MiniSat

Software Authors:   Niklas Eén, Niklas Sörensson
Referenced in: 548 Publications (2003–2022)
Related Software: Chaff; BerkMin; z3; Lingeling; PicoSAT; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Referenced in: 429 Publications (2001–2022)
Related Software: MRMC; Uppaal; SPIN; Bio-PEPA; Storm; PEPA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

HyTech

Software Authors:   Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Referenced in: 312 Publications (1996–2021)
Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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
Referenced in: 264 Publications (1999–2021)
Related Software: SPIN; Uppaal; CUDD; Chaff; PRISM; Bandera; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Bandera

Software Authors:   Hatcliff, John; Dwyer, Matthew
Referenced in: 104 Publications (2000–2018)
Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Referenced in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

PEPA

Software Authors:   Jane Hillston; http://www.dcs.ed.ac.uk/pepa/people/
Referenced in: 107 Publications (1995–2022)
Related Software: Bio-PEPA; PRISM; BIOCHAM; SPADES; SMART_; HyTech; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Casper

Software Authors:   Gavin Lowe / Oxford University Computing Laborator
Referenced in: 83 Publications (1999–2018)
Related Software: AVISPA; TAPS; OFMC; FDR2; NRL; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MOCHA

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.
Referenced in: 81 Publications (1999–2021)
Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MRMC

Software Authors:   Joost-Pieter Katoen; RWTH Aachen
Referenced in: 66 Publications (2006–2022)
Related Software: PRISM; Ymer; Uppaal; CADP; Storm; CEGAR; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SLMC

Software Authors:   Hugo Vieira; Luís Caires
Referenced in: 72 Publications (2003–2022)
Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

DAISY

Software Authors:   Giuseppina Bellu , Maria Pia Saccomani, Stefania Audoly , Leontina D’Angiò
Referenced in: 53 Publications (2008–2022)
Related Software: COMBOS; GenSSI; SIAN; BLAD; ObservabilityTest; MESSI; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

DiVinE

Software Authors:   J. Barnat; L. Brim; P. Rockai
Referenced in: 40 Publications (1996–2020)
Related Software: SPIN; BEEM; NuSMV; LTSmin; Uppaal; PRISM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

WASP

Software Authors:   Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Referenced in: 54 Publications (2014–2022)
Related Software: Clingo; clasp; Gringo; DLV2; DLV; Cmodels; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GROOVE

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

AGG

Software Authors:   Gabriele Taentzer
Referenced in: 40 Publications (2004–2021)
Related Software: GROOVE; PROGRES; VIATRA2; GrGen; AToM3; Henshin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Referenced in: 45 Publications (1999–2021)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UPPAAL TIGA

Software Authors:   Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.
Referenced in: 44 Publications (2007–2021)
Related Software: Uppaal; PRISM; Synthia; HyTech; PRISM-games; Kronos; …
Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Uppaal2k

Software Authors:   Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin
Referenced in: 38 Publications (2000–2017)
Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ABC

Software Authors:   Robert Brayton; Alan Mishchenko
Referenced in: 35 Publications (2011–2021)
Related Software: MiniSat; z3; AIGER; CBMC; CUDD; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

SatAbs

Software Authors:   Clarke, E., Kroning, D., Sharygina, N., Yorav, K.
Referenced in: 35 Publications (2005–2021)
Related Software: BLAST; SLAM; CPAchecker; SPIN; Bebop; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Referenced in: 32 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PGSolver

Software Authors:   Oliver Friedmann; Martin Lange
Referenced in: 34 Publications (2009–2022)
Related Software: Strix; BEEM; GitHub; SPIN; PRISM-games; GIST; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Zing

Software Authors:   Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen
Referenced in: 32 Publications (1993–2018)
Related Software: SPIN; SLAM; veriSoft; Bogor; Java PathFinder; SatAbs; …
Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Statistics (62-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)

Bogor

Software Authors:   Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew
Referenced in: 27 Publications (2003–2014)
Related Software: SPIN; Bandera; veriSoft; Java PathFinder; dSPIN; Zing; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pex

Software Authors:   Nikolai Tillmann, Jonathan de Halleux
Referenced in: 25 Publications (2009–2021)
Related Software: DART; CUTE; z3; STP; KLEE; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

STeP

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Referenced in: 33 Publications (1997–2015)
Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

CMC

Software Authors:   Francois Laroussinie; Kim G. Larsen
Referenced in: 31 Publications (2000–2020)
Related Software: Uppaal; Kronos; HyTech; TINA; Romeo; IF-2.0; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

nuXmv

Software Authors:   Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
Referenced in: 31 Publications (2015–2022)
Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ordinal

Software Authors:   Rune Haubo Bojesen Christensen
Referenced in: 22 Publications (2013–2022)
Related Software: R; VGAM; lme4; rms; nnet; catdata; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Antichains

Software Authors:   De Wulf M, Doyen L, Henzinger TA, Raskin JF
Referenced in: 33 Publications (2006–2021)
Related Software: HIP; MONA; SPIN; LTL2BA; FAST; Slide; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MCK

Software Authors:   Ron van der Meyden; Peter Gammie; Kai Baukus; Jeremy Lee; Cheng Luo; Xiaowei Huang
Referenced in: 33 Publications (2004–2021)
Related Software: MCMAS; VerICS; NuSMV; CUDD; MOCHA; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SMART_

Software Authors:   Ciardo, G.; Jones, R.L.; Miner, A.S.; Siminiceanu, R.
Referenced in: 23 Publications (2000–2018)
Related Software: SPIN; PRISM; NuSMV; Möbius; PEPA; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

IMITATOR

Software Authors:   André, Étienne
Referenced in: 30 Publications (1996–2022)
Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-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)

APMC

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Referenced in: 28 Publications (2004–2021)
Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LIBRA

Software Authors:   Verboven, S.; Hubert, M.
Referenced in: 27 Publications (1986–2021)
Related Software: ROBPCA; robustbase; PRMLT; LOF; SDPT3; MNM; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Alcoa

Software Authors:   Jackson, D.; Schechter, I.; Shlyakhter, I.
Referenced in: 20 Publications (2000–2021)
Related Software: Alloy; SPIN; Chaff; Z; TestEra; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ARMC

Software Authors:   Andreas Podelski, Andrey Rybalchenko
Referenced in: 25 Publications (2007–2020)
Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BPEL2oWFN

Software Authors:   Niels Lohmann
Referenced in: 25 Publications (2007–2020)
Related Software: COWS; BPEL2PN; Wendy; CADP; Uppaal; Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PIPER

Software Authors:   Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob
Referenced in: 28 Publications (2002–2017)
Related Software: SLMC; Cyclone; PiDuce; Automath; TyPiCal; COWS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cadence SMV

Software Authors:   McMillan K L.
Referenced in: 22 Publications (2000–2018)
Related Software: NuSMV; SPIN; SPOT; LTL2BA; VIS; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

JFlow

Software Authors:   Andrew C. Myers
Referenced in: 22 Publications (2002–2022)
Related Software: Haskell; TALx86; TaintDroid; Jif; Laminar; NaCl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

LoLA

Software Authors:   Schmidt, Karsten; Wolf, K.
Referenced in: 25 Publications (2000–2021)
Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SPOT

Software Authors:   Duret-Lutz, A. ;Poitrenaud, D.
Referenced in: 25 Publications (2005–2022)
Related Software: LTL2BA; SPIN; NuSMV; lbtt; Cadence SMV; Rabinizer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Zinc

Software Authors:   Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
Referenced in: 26 Publications (2005–2022)
Related Software: Essence; MiniZinc; Gecode; COMET; AMPL; ESRA; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

HySAT

Software Authors:   Fränzle, Martin; Herde, Christian
Referenced in: 25 Publications (2006–2021)
Related Software: MathSAT; HyTech; SpaceEx; PHAVer; ABsolver; RSOLVER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Romeo

Software Authors:   Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.)
Referenced in: 26 Publications (2005–2020)
Related Software: TINA; Uppaal; Kronos; TAPAAL; CMC; IF-2.0; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Mcmt

Software Authors:   Ghilardi S, Ranise S
Referenced in: 22 Publications (2010–2021)
Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UCLID

Software Authors:   Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia
Referenced in: 24 Publications (2002–2020)
Related Software: Chaff; PVS; MiniSat; SMT-LIB; cvc3; Siege; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

VESTA

Software Authors:   Koushik Sen, Mahesh Viswanathan, Gul Agha
Referenced in: 22 Publications (2007–2021)
Related Software: PRISM; Maude; HOL; Ymer; PVeStA; PMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

BuDDy

Software Authors:   Jorn Lind-Nielsen
Referenced in: 23 Publications (1999–2021)
Related Software: CUDD; Sylvan; GitHub; PDDL; ML; ADD-Lib; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Rabbit

Software Authors:   Beyer, Dirk; Lewerentz, Claus; Noack, Andreas
Referenced in: 22 Publications (2001–2018)
Related Software: Uppaal; Kronos; PRISM; Uppaal2k; UPPAAL TIGA; HyTech; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

Bedwyr

Software Authors:   David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
Referenced in: 21 Publications (2007–2022)
Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MOPS

Software Authors:   Chen, H., Wagner, D.
Referenced in: 15 Publications (2003–2019)
Related Software: SLAM; BLAST; SPIN; Bebop; CIL; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PRISM-games

Software Authors:   Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
Referenced in: 22 Publications (2013–2021)
Related Software: PRISM; MCMAS; EAGLE; GIST; MCMAS-SLK; GAVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BradleyTerry2

Software Authors:   Heather Turner, David Firth
Referenced in: 14 Publications (2012–2022)
Related Software: R; prefmod; gnm; BTLLasso; VGAM; gvcm.cat; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Referenced in: 18 Publications (2011–2022)
Related Software: SPIN; DiVinE; Uppaal; NuSMV; CADP; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Quantor

Software Authors:   Biere, Armin
Referenced in: 22 Publications (2005–2017)
Related Software: sKizzo; QUBOS; Bloqqer; DepQBF; MiniSat; QUBE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SeaHorn

Software Authors:   Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.
Referenced in: 20 Publications (2015–2021)
Related Software: z3; VeriMAP; SMACK; JayHorn; RAHFT; TRACER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SymmSpin

Software Authors:   Bošnački, Dragan Author Profile; Dams, Dennis; Holenderski, Leszek
Referenced in: 15 Publications (2000–2010)
Related Software: SPIN; TopSpin; Bogor; Uppaal; dSPIN; Bandera; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

FoCs

Software Authors:   Abarbanel, Yael; Beer, Ilan; Gluhovsky, Leonid; Keidar, Sharon; Wolfsthal, Yaron
Referenced in: 17 Publications (2000–2018)
Related Software: LTL2BA; HOL; SPIN; Copilot; JPAX; ANTLR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Maria

Software Authors:   M"akel"a, Marko
Referenced in: 19 Publications (2000–2021)
Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

Spacer

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
Referenced in: 16 Publications (2015–2022)
Related Software: z3; Yices; HMC; Boogie; Princess; Mjollnir; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

LiQuor

Software Authors:   –
Referenced in: 18 Publications (2007–2018)
Related Software: PRISM; MRMC; Rapture; Ymer; Rabinizer; PARAM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PVeStA

Software Authors:   AlTurki, M., Meseguer, J
Referenced in: 13 Publications (2011–2021)
Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Isabelle/UTP

Software Authors:   Foster, Simon; Zeyda, Frank; Woodcock, Jim
Referenced in: 17 Publications (2015–2021)
Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

VIS

Software Authors:   Brayton, R.K., et al.
Referenced in: 10 Publications (2005–2015)
Related Software: NuSMV; SPIN; HyTech; LTL2BA; SPOT; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Ymer

Software Authors:   Younes, Håkan L.S.
Referenced in: 16 Publications (2005–2021)
Related Software: PRISM; VESTA; MRMC; COSMOS; Uppaal; Kronos; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

DCVALID

Software Authors:   P. Pandya
Referenced in: 16 Publications (2001–2022)
Related Software: MONA; IDLVALID; Uppaal; Kronos; MRMC; Modechart; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LLBMC

Software Authors:   Falke, Stephan; Merz, Florian; Sinz, Carsten
Referenced in: 12 Publications (2012–2021)
Related Software: CBMC; UFO; CPAchecker; MiniSat; z3; BLAST; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MCGP

Software Authors:   Katz, Gal; Peled, Doron
Referenced in: 11 Publications (2008–2021)
Related Software: PRISM; LTL2BA; SPIN; CESAR; TAJ; FlashMeta; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Akiss

Software Authors:   Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer
Referenced in: 15 Publications (2012–2021)
Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CAESAR_SOLVE

Software Authors:   Radu Mateescu
Referenced in: 10 Publications (2006–2015)
Related Software: CADP; SPIN; Exp.Open; E-LOTOS; NuSMV; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Cogent

Software Authors:   Cook, Byron; Kroening, Daniel; Sharygina, Natasha
Referenced in: 11 Publications (2005–2018)
Related Software: SatAbs; SIMPLIFY; SPIN; Bebop; FOCI; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

GenSSI

Software Authors:   Chis O, Banga J, Balsa-Canto E
Referenced in: 14 Publications (2013–2022)
Related Software: DAISY; SIAN; AMIGO; COMBOS; ObservabilityTest; GitHub; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

Lord-Wingersky

Software Authors:   Huang, Sijia; Cai, Li
Referenced in: 13 Publications (1998–2021)
Related Software: flexMIRT; BayesDA; PROsetta; lordif; equate; mirt; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MoCHi

Software Authors:   Sato, Ryosuke; Kobayashi, Naoki; Hiroshi Unno
Referenced in: 13 Publications (2015–2021)
Related Software: z3; GitHub; Dafny; JayHorn; CoVaC; Spacer; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

SMV

Software Authors:   Ed Clarke; K. L. McMillan; E. A. Emerson; J. R. Burch
Referenced in: 13 Publications (1986–2018)
Related Software: HyTech; PHAVer; SPIN; HSolver; RSOLVER; MATISSE; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

TopSpin

Software Authors:   Alastair Donaldson; Alice Miller
Referenced in: 11 Publications (2007–2022)
Related Software: SPIN; SymmSpin; GAP; Uppaal; nauty; Spin-to-Grape; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

CheckVML

Software Authors:   Ákos Schmidt, Dániel Varró
Referenced in: 8 Publications (2004–2019)
Related Software: SPIN; GROOVE; Bogor; Augur 2; PROGRES; Fujaba; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Concurrency Workbench

Software Authors:   P. Stevens et al
Referenced in: 11 Publications (2000–2017)
Related Software: LOTOS; CADP; NuSMV; PrivateLR; LOTOSphere; LOEWE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

JPF-SE

Software Authors:   Anand S, Pasareanu CS, Visser W
Referenced in: 6 Publications (2011–2021)
Related Software: Java PathFinder; DART; CUTE; Korat; SLAM; BLAST; …
Main Fields: Computer science (68-XX)

APNN-Toolbox

Software Authors:   Peter Buchholz; Markus Fischer; Peter Kemper; Carsten Tepper
Referenced in: 11 Publications (1999–2018)
Related Software: LDQBD; PEPS; COLAMD; PEPA; StochKit; GTAEXPRESS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

CAESAR

Software Authors:   Hubert Garavel; Wendelin Serwe; INRIA Rhone-Alpes
Referenced in: 10 Publications (2004–2021)
Related Software: CADP; caesar.bdd; NUPN_INFO; Exp.Open; SPIN; M-TREE; …
Main Fields: Computer science (68-XX)

ChC 3

Software Authors:   Durán, Francisco; Meseguer, José
Referenced in: 10 Publications (2010–2020)
Related Software: Maude; CRC 3; Anima; Web-TLR; MTT; Julienne; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Referenced in: 10 Publications (2017–2021)
Related Software: Ivy; z3; nuXmv; Verdi; Dafny; googletest; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTIGAR

Software Authors:   Birgmeier, J., Bradley, A.R., Weissenbacher, G.
Referenced in: 8 Publications (2016–2021)
Related Software: z3; PySMT; MathSAT5; nuXmv; Kind 2; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Datalog LITE

Software Authors:   Gottlob, Georg; Grädel, Erich; Veith, Helmut
Referenced in: 9 Publications (2002–2019)
Related Software: XPath; Ltur; ComputeTW; NP Datalog; Datalog; FALKO
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DiVer

Software Authors:   Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
Referenced in: 9 Publications (2005–2010)
Related Software: Chaff; SatAbs; CBMC; Bebop; SPIN; FocusCheck; …
Main Fields: Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

FitAR

Software Authors:   A.I. McLeod, Ying Zhang, Changjiang Xu
Referenced in: 7 Publications (2011–2019)
Related Software: R; fGarch; vars; TSA; ARbiascorrect; BootPR; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

IDLVALID

Software Authors:   Pandya, Paritosh K.
Referenced in: 10 Publications (2001–2013)
Related Software: DCVALID; Uppaal; Kronos; MONA; Modechart; ICS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MAVEN

Software Authors:   Goldman, Max; Katz, Emilia; Katz, Shmuel
Referenced in: 9 Publications (2007–2013)
Related Software: ProMoVer; CVPP; Aspectual Caml; PolyAML; Moped; Sawja; …
Main Fields: Computer science (68-XX)

MetaGame

Software Authors:   Markus Müller-Olm, Haiseung Yoo
Referenced in: 9 Publications (1991–2009)
Related Software: GDL; SPIN; jETI
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

MMC

Software Authors:   Yang, Ping; Ramakrishnan, C.R.; Smolka, Scott A.
Referenced in: 9 Publications (2003–2020)
Related Software: MWB; Uppaal; SPIN; HOL/SPIN; SLMC; MCK; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Rebeca

Software Authors:   Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali
Referenced in: 7 Publications (2010–2019)
Related Software: Creol; Timed Rebeca; Uppaal; SPIN; Viptos; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SATORI

Software Authors:   Iyer MK, Parthasarathy G, Cheng K-T
Referenced in: 8 Publications (2005–2009)
Related Software: Chaff; SATIRE; BerkMin; SATO; semprop; Velev SAT Benchmarks; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

bayesplot

Software Authors:   Jonah Gabry, Paul-Christian Buerkner
Referenced in: 0 Publications
Related Software: R; Stan; brms; JAGS; rstan; ggplot2; …
Main Fields: