CafeOBJ Software Authors: Mori, Akira; Futatsugi, Kokichi Cited in: 162 Publications (1997–2022) Related Software: Maude; OBJ3; CASL; ELAN; ITP; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX)
CSP-prover Software Authors: Isobe, Yoshinao; Roggenbach, Markus Cited in: 17 Publications (2005–2022) Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
GBDD Software Authors: M. Nilsson Cited in: 1 Publication (2008) Related Software: KURE; Z; MCK; Haskell Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
HyComp Software Authors: A. Cimatti, A. Griggio, S. Mover, S. Tonetta Cited in: 5 Publications (2017–2022) Related Software: nuXmv; CTIGAR; z3; NuSMV; MathSAT5; Kronos; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
HyDI Software Authors: Cimatti A, Mover S, Tonetta S Cited in: 3 Publications (2013–2015) Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
HySAT Software Authors: Fränzle, Martin; Herde, Christian Cited 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)
IJIT Software Authors: Peizun Liu, Thomas Wahl Cited in: 1 Publication (2017) Related Software: RailCNL Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
INFAMY Software Authors: Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang Cited in: 4 Publications (2009–2015) Related Software: PRISM; APMC; SBML Test Suite; SABRE; MARCIE; MRMC; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
InvA Software Authors: Rocha, Camilo; Meseguer, José Cited in: 2 Publications (2014–2020) Related Software: Maude; PKind; HyComp; SeaHorn; Maude-NPA; Mcmt; … Main Fields: Computer science (68-XX)
InVeSt Software Authors: Bensalem S, Lakhnech Y, Owre S Cited in: 10 Publications (1999–2013) Related Software: PVS; TREX; HOL; ACL2; HyTech; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ivy Software Authors: McMillan, K.L., Padon, O. Cited in: 14 Publications (2017–2023) Related Software: Ivy; z3; Verdi; nuXmv; PSync; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JKind Software Authors: Andrew Gacek Cited in: 2 Publications (2016–2021) Related Software: Kind 2; Paracooba; Kissat; CaDiCaL; AIGER; ABC; … Main Fields: Computer science (68-XX)
jMarkov Software Authors: Juan F. Pérez; Daniel F. Silva; Julio C. Góez; Andrés Sarmiento; Andrés Sarmiento-Romero; Raha Akhavan-Tabatabaei; Germán Riaño Cited in: 1 Publication (2017) Related Software: MARCA; HyperStar; Jphase; mdp; PRISM; JUnit; … Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)
Mcmt Software Authors: Ghilardi S, Ranise S Cited in: 23 Publications (2010–2022) Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
McScM Software Authors: Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire Cited in: 1 Publication (2023) Related Software: TaPAS; CADP; SPIN; TREX Main Fields: Computer science (68-XX)
monabs Software Authors: Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas Cited in: 3 Publications (2014–2021) Related Software: ACL2s; veriSoft; DDVerify; MAGIC; Threader; SLAB; … Main Fields: Computer science (68-XX)
nuXmv Software Authors: Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta Cited in: 38 Publications (2015–2023) 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)
PICASSO Software Authors: Damien Zufferey; Thomas Wies; Thomas A. Henzinger Cited in: 1 Publication (2012) Related Software: Lift Main Fields: Computer science (68-XX)
Sally Software Authors: Dutertre, B., Jovanovic, D., Navas, J.A. Cited in: 0 Publications Related Software: googletest; Yosys; z3; Ivy; CoSA; Verilog2SMV; … Main Fields: –
SLAB Software Authors: Dräger, K., Kupriyanov, A., Finkbeiner, B., Wehrheim, H. Cited in: 6 Publications (2012–2018) Related Software: Wolverine; SatAbs; Threader; CPAchecker; SLAM; FOCI; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SMACS Software Authors: Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv'e; Massart, Thierry Cited in: 2 Publications (2011–2012) Related Software: Fixpoint; UMDES; Apron Main Fields: Systems theory; control (93-XX)
Synthia Software Authors: Peter, H.-J., Ehlers, R., Mattmüller, R. Cited in: 7 Publications (2012–2020) Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)
UCLID Software Authors: Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia Cited 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)
Zapato Software Authors: Ball, T., Cook, B., Lahiri, S.K., Zhang, L. Cited in: 11 Publications (2004–2018) Related Software: CVC Lite; Chaff; MiniSat; ICS; E Theorem Prover; MathSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)