×

Found 24 Software Packages (Results 1–24)

CafeOBJ

Software Authors:   Mori, Akira; Futatsugi, Kokichi
Cited in: 161 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)

nuXmv

Software Authors:   Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
Cited in: 32 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)

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)

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)

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)

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)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Cited in: 11 Publications (2017–2022)
Related Software: Ivy; z3; nuXmv; Verdi; SPIN; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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; E Theorem Prover; ICS; MathSAT; …
Main Fields: Mathematical logic and foundations (03-XX); 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)

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)

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)

HyComp

Software Authors:   A. Cimatti, A. Griggio, S. Mover, S. Tonetta
Cited in: 5 Publications (2017–2022)
Related Software: nuXmv; CTIGAR; z3; NuSMV; MathSAT5; Uppaal; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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)

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)

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)

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)

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)

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)

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)

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)

McScM

Software Authors:   Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire
Cited in: 0 Publications
Related Software: TaPAS; CADP; SPIN; TREX
Main Fields:

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: