LTL2BA Software Authors: Gastin, Paul; Oddoux, Denis Cited in: 93 Publications (2001–2022) Related Software: SPIN; SPOT; NuSMV; CESAR; lbtt; CUDD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DiVinE Software Authors: J. Barnat; L. Brim; P. Rockai Cited 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)
PAT Software Authors: Jun Sun, Yang Liu , Jin Song Dong , Jun Pang Cited in: 33 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)
JavaFAN Software Authors: Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore Cited 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 Cited 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)
SPOT Software Authors: Duret-Lutz, A. ;Poitrenaud, D. Cited in: 27 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)
LARS Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Cited in: 19 Publications (2016–2022) Related Software: Clingo; SPARQL; C-SPARQL; oClingo; WASP; Apache Flink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Maria Software Authors: M"akel"a, Marko Cited 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)
CAVA LTL Modelchecker Software Authors: Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf; Jan-Georg Smaus Cited in: 16 Publications (2015–2021) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; HOL; seL4; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)
Acacia+ Software Authors: Bohy, A., Bruyère, V., Filiot, E., Jin, N., Raskin, J.F. Cited in: 15 Publications (2014–2021) Related Software: Strix; MONA; CAQE; ABC; Antichains; UPPAAL TIGA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MCGP Software Authors: Katz, Gal; Peled, Doron Cited in: 12 Publications (2008–2021) Related Software: PRISM; LTL2BA; SPIN; CESAR; FlashMeta; FlowDroid; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TuLiP Software Authors: Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray Cited in: 15 Publications (2016–2022) Related Software: PESSOA; CoSyma; SCOTS; LTLMoP; CUDD; ROCS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Rabinizer Software Authors: Gaiser A, Křetínský J, Esparza J Cited in: 13 Publications (2012–2022) Related Software: PRISM; ltl2dstar; BEEM; SPOT; LTL2BA; TTM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Strix Software Authors: Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon Cited in: 13 Publications (2019–2021) Related Software: PGSolver; Acacia+; CUDD; MONA; nuXmv; ABC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
iscasMc Software Authors: Hahn, E.M., Li, Y., Schewe, S., Turrini, A., Zhang, L. Cited in: 11 Publications (2016–2023) Related Software: PRISM; Storm; MRMC; Jani; Uppaal; PROPhESY; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Quantum theory (81-XX)
APNN-Toolbox Software Authors: Peter Buchholz; Markus Fischer; Peter Kemper; Carsten Tepper Cited 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)
ChC 3 Software Authors: Durán, Francisco; Meseguer, José Cited in: 10 Publications (2010–2020) Related Software: Maude; CRC 3; MTT; Anima; Web-TLR; MFE; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
MAVEN Software Authors: Goldman, Max; Katz, Emilia; Katz, Shmuel Cited in: 9 Publications (2007–2013) Related Software: ProMoVer; CVPP; Aspectual Caml; PolyAML; Moped; Sawja; … Main Fields: Computer science (68-XX)
TLPVS Software Authors: Pnueli, Amir; Arons, Tamarah Cited in: 8 Publications (2003–2011) Related Software: PVS; SPIN; MAGIC; SatAbs; Bebop; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LTLCon Software Authors: Marius Kloetzer; Calin Belta Cited in: 9 Publications (2001–2013) Related Software: SPIN; LTL2BA; Matlab; PESSOA; Cadence SMV Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Motras Software Authors: Křetínský, Jan; Sickert, Salomon Cited in: 9 Publications (2013–2020) Related Software: MIO Workbench; Mica; JML; ECDAR; APT; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SAL Software Authors: Grégoire Hamon, Leonardo de Moura, John Rushby Cited in: 5 Publications (2004–2021) Related Software: SPIN; PVS; RAISE; HybridSal; AETG; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TSPASS Software Authors: M. Ludwig Cited in: 9 Publications (2009–2021) Related Software: TRP++; NuSMV; TeMP; E Theorem Prover; SPASS; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
lbtt Software Authors: H. Tauriainen; K. Heljanko Cited in: 5 Publications (2009–2015) Related Software: LTL2BA; SPOT; SPIN; ltlfilt; LBT; autcross; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Helena Software Authors: Hennicker, R., Klarl, A., Wirsing, M. Cited in: 5 Publications (2014–2019) Related Software: DEECO; SCEL; Moise+; Apache Kafka; ReSpecT; Apache Spark; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Z2sal Software Authors: J Derrick, S North, A J H Simons Cited in: 5 Publications (2008–2012) Related Software: SPIN; Z; Z/EVES; CZT; jSpin; PROMELA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-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)
ITS-Tools Software Authors: Yann Thierry-Mieg Cited in: 5 Publications (2019–2022) Related Software: TINA; LoLA; LTSmin; SNAKES; TAPAAL; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
AdamMC Software Authors: Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog Cited in: 4 Publications (2019–2021) Related Software: zUpdate; PTrie; NuSMV; TAPAAL; LoLA; FatTire; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Charlie Software Authors: Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry Cited in: 2 Publications (2015–2017) Related Software: SNOOPY; SNAKES; ANDy; Möbius; ZBDD; SABRE; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
EVE Software Authors: Muhammad Najib Cited in: 4 Publications (2019–2021) Related Software: MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FaPAS Software Authors: B. Yordanov, C. Belta Cited in: 4 Publications (2013–2018) Related Software: NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
kPWorkbench Software Authors: Gheorghe, M., Ipate, F., Mierla, L., Konur, S. Cited in: 4 Publications (2015–2021) Related Software: CompCert; ProB; Rodin; Coq; GitHub; CuSNP; … Main Fields: Computer science (68-XX)
ltl2dstar Software Authors: Klein J. Cited in: 4 Publications (2012–2016) Related Software: PRISM; Rabinizer; LTL2BA; BEEM; SPOT; Isar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RiTHM Software Authors: Navabpour S, Joshi Y, Wu CWW, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S Cited in: 4 Publications (2015–2020) Related Software: CBMC; NuSMV; SPIN; BLAST; UMC4M; C2M; … Main Fields: Computer science (68-XX)
BioModelAnalyzer Software Authors: Ahmed, Zara; Benque, David; Berezin, Sergey; Dahl, Anna Caroline E.; Fisher, Jasmin; Hall, Benjamin A.; Ishtiaq, Samin; Nanavati, Jay; Piterman, Nir; Riechert, Maik; Skoblov, Nikita Cited in: 2 Publications (2017–2021) Related Software: Aeon; ATLANTIS; Cytoscape.js; PyBoolNet; ASSA-PBN; Ginsim; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
J-LO Software Authors: Eric Bodden; Volker Stolz Cited in: 3 Publications (2009–2012) Related Software: AspectJ; Java-MOP; DaCapo; PQL; Clara; Java-MaC; … Main Fields: Computer science (68-XX)
Texada Software Authors: C. Lemieux, D. Park, I. Beschastnikh Cited in: 3 Publications (2021–2022) Related Software: PPTLMiner; PPTL_SPIN; Perracotta; C4.5 Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
BeepBeep Software Authors: Halle, Sylvain; Villemaire, Roger Cited in: 1 Publication (2012) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CAVA Automata Library Software Authors: Peter Lammich Cited in: 2 Publications (2018–2019) Related Software: Gabow SCC; CAVA LTL Modelchecker; Archive Formal Proofs; CAVA; Isabelle/HOL; Isabelle; … Main Fields: Computer science (68-XX)
LTLAutomizer Software Authors: Dietsch, D., Heizmann, M., Langenfeld, V. Cited in: 2 Publications (2015–2020) Related Software: CBMC; CPAchecker; NuSMV; SPIN; UMC4M; RiTHM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PoMMaDe Software Authors: Song, F.; Touili, T. Cited in: 2 Publications (2016–2017) Related Software: HSF; YASM Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ProbDiVinE Software Authors: Barnat, J.; Brim, L.; Cerna, I.; Ceska, M.; Tumova, J. Cited in: 2 Publications (2014–2018) Related Software: PRISM; PASS; Rabinizer; Rapture; PARAM; LiQuor; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
pyModelChecking Software Authors: Casagrande, A Cited in: 2 Publications (2021–2022) Related Software: rxncon; libSBML; Chromar; eBCSgen; PySB; BioNetGen; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
autcross Software Authors: Duret-Lutz, Alexandre Cited in: 1 Publication (2013) Related Software: lbtt; ltlfilt; LBT; ltlcross; SPOT; SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
conPAS Software Authors: Aydin Gol, Ebru; Belta, Calin Cited in: 1 Publication (2013) Related Software: Matlab Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ENuSMV Software Authors: Wang, Rui; Liu, Wanwei; Li, Tun; Mao, Xiaoguang; Wang, Ji Cited in: 1 Publication (2013) Related Software: NuSMV Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LBT Software Authors: Mauno Rönkkö Cited in: 1 Publication (2013) Related Software: lbtt; ltlfilt; autcross; ltlcross; SPOT; SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ltl3tela Software Authors: Blahoudek, František; Major, Juraj; Strejček, Jan Cited in: 1 Publication (2020) Related Software: LTL2BA; BEEM; SPOT; SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LTL_to_DRA Software Authors: Salomon Sickert Cited in: 1 Publication (2016) Related Software: PRISM; Isar; CAVA LTL Modelchecker; Archive Formal Proofs; Rabinizer; ltl2dstar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LTL_to_GBA Software Authors: Alexander Schimpf; Peter Lammich Cited in: 1 Publication (2019) Related Software: Real_Impl; Light-weight Containers; Gabow SCC; Tree Automata; CAVA LTL Modelchecker; Archive Formal Proofs; … Main Fields: Computer science (68-XX)
ltlcross Software Authors: Duret-Lutz, Alexandre Cited in: 1 Publication (2013) Related Software: lbtt; ltlfilt; LBT; autcross; SPOT; SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ltlfilt Software Authors: Duret-Lutz, Alexandre Cited in: 1 Publication (2013) Related Software: lbtt; LBT; autcross; ltlcross; SPOT; SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Neco Software Authors: Lukasz Fronc; Franck Pommereau Cited in: 1 Publication (2013) Related Software: SNAKES; neco-spot; SPOT Main Fields: Computer science (68-XX)
neco-spot Software Authors: Fronc, Łukasz; Duret-Lutz, Alexandre Cited in: 1 Publication (2013) Related Software: SNAKES; Neco; SPOT Main Fields: Computer science (68-XX)
PLSMC Software Authors: Pang, Tao; Duan, Zhenhua; Liu, Xiaofang Cited in: 1 Publication (2015) Related Software: CUDD; NuSMV Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Seminator 2 Software Authors: Blahoudek, František; Duret-Lutz, Alexandre; Strejček, Jan Cited in: 1 Publication (2020) Related Software: SPOT Main Fields: Computer science (68-XX)
SHIP Software Authors: Autexier, Serge; Hutter, Dieter Cited in: 1 Publication (2015) Related Software: Pellet; GOLOG Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TOrPEDO Software Authors: Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola Cited in: 1 Publication (2021) Related Software: GitHub; KEGG; LTSA-WS; UFO; z3; NuSMV; … Main Fields: Computer science (68-XX)
Go2Pins Software Authors: Kirszenberg, Alexandre; Martin, Antoine; Moreau, Hugo; Renault, Etienne Cited in: 0 Publications Related Software: – Main Fields: –