CafeOBJ Software Authors: Mori, Akira; Futatsugi, Kokichi Cited in: 162 Publications (1997–2022) Related Software: Maude; OBJ3; CASL; ELAN; ITP; Haskell; … Main Fields: (68Q60-XX); (68P25-XX)
nuXmv Software Authors: Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta Cited in: 33 Publications (2015–2022) Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; … Main Fields: –
HySAT Software Authors: Fränzle, Martin; Herde, Christian Cited in: 25 Publications (2006–2021) Related Software: MathSAT; HyTech; SpaceEx; PHAVer; ABsolver; RSOLVER; … Main Fields: (68Q60-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: –
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: –
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: –
Ivy Software Authors: McMillan, K.L., Padon, O. Cited in: 14 Publications (2017–2023) Related Software: Ivy; z3; Verdi; nuXmv; PSync; Coq; … Main Fields: –
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: –
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: –
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: –
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: –
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: –
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: –
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: –
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: (68Q-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: (68N30-XX); (68Q42-XX); (68Q60-XX)
JKind Software Authors: Andrew Gacek Cited in: 2 Publications (2016–2021) Related Software: Kind 2; Paracooba; Kissat; CaDiCaL; AIGER; ABC; … Main Fields: –
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: –
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: (68Q60-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: (93C65-XX); (93B50-XX); (93B52-XX)
GBDD Software Authors: M. Nilsson Cited in: 1 Publication (2008) Related Software: KURE; Z; MCK; Haskell Main Fields: –
IJIT Software Authors: Peizun Liu, Thomas Wahl Cited in: 1 Publication (2017) Related Software: RailCNL Main Fields: –
PICASSO Software Authors: Damien Zufferey; Thomas Wies; Thomas A. Henzinger Cited in: 1 Publication (2012) Related Software: Lift Main Fields: –
Sally Software Authors: Dutertre, B., Jovanovic, D., Navas, J.A. Cited in: 0 Publications Related Software: googletest; Yosys; z3; Ivy; CoSA; Verilog2SMV; … Main Fields: –