Coq Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Cited in: 1,830 Publications (1993–2023) Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
SPIN Software Authors: Bell Labs Cited in: 593 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)
PVS Software Authors: Sam Owre, Natarajan Shankar, John Rushby Cited in: 606 Publications (1993–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Z Software Authors: Woodcock, Jim; Davies, Jim Cited in: 228 Publications (1958–2022) Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
E Theorem Prover Software Authors: Stephan Schulz Cited in: 212 Publications (2001–2022) Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; Mizar; Sledgehammer; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
UNITY Software Authors: K. Mani Chandy; Jayadev Misra Cited in: 178 Publications (1988–2021) Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LOTOS Software Authors: Bolognesi, T., Brinksma, E. Cited in: 131 Publications (1988–2020) Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
seL4 Software Authors: Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S. Cited in: 84 Publications (2009–2022) Related Software: Isabelle/HOL; Coq; Isabelle; HOL; HOL Light; kepler98; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
KeY Software Authors: http://www.key-project.org/people.html Cited in: 53 Publications (2000–2022) Related Software: JML; ESC/Java; Boogie; Spec#; KRAKATOA; Why3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Cited in: 38 Publications (2002–2022) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Daikon Software Authors: Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen Cited in: 34 Publications (2005–2022) Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
WSAT Software Authors: Fu, Xiang; Bultan, Tevfik; Su, Jianwen Cited 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)
STeP Software Authors: N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe Cited 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)
Ruby Software Authors: Flanagan, D.; Matsumoto, Y. Cited in: 23 Publications (2002–2017) Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
Korat Software Authors: Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov Cited in: 23 Publications (2001–2022) Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; … Main Fields: Computer science (68-XX)
JUnit Software Authors: Cheon, Yoonsik; Leavens, Gary T. Cited in: 15 Publications (2002–2020) Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
PMaude Software Authors: Gul Agha; José Meseguer; Koushik Sen Cited in: 28 Publications (2005–2022) Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
VIATRA2 Software Authors: Varró, Dániel; Balogh, András Cited in: 18 Publications (2006–2019) Related Software: PROGRES; AGG; Graph transformation benchmarks; VPM; AToM3; GROOVE; … Main Fields: Computer science (68-XX)
MAYA Software Authors: Hutter, Dieter; Autexier, Serge Cited in: 23 Publications (2002–2015) Related Software: CASL; Isabelle; Mizar; TPTP; PVS; OMDoc; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
qGCL Software Authors: Zuliani, Paolo Cited in: 23 Publications (2000–2021) Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
E-LOTOS Software Authors: Clark, Robert; Moreira, Ana Cited in: 23 Publications (1998–2016) Related Software: CADP; SPIN; LOTOS; CAESAR_SOLVE; Exp.Open; LNT2LOTOS; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Essence Software Authors: Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian Cited in: 25 Publications (2008–2022) Related Software: MiniZinc; Zinc; ESRA; Gecode; COMET; AMPL; … Main Fields: Associative rings and algebras (16-XX); Computer science (68-XX); Quantum theory (81-XX)
HOL-OCL Software Authors: Brucker, Achim D.; Wolff, Burkhart Cited in: 13 Publications (2002–2016) Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MARTE Software Authors: Object Management Group, Inc. Cited in: 10 Publications (2009–2017) Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
STG Software Authors: Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva Cited in: 16 Publications (2002–2014) Related Software: CADP; TorX; DART; GATeL; IF-2.0; AGATHA; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
UniTESK Software Authors: Institute for System Programming of the Russian Academy of Sciences Cited in: 14 Publications (2002–2015) Related Software: SpecExplorer; DART; CUTE; NModel; Symstra; SPIN; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TorX Software Authors: Bohnenkamp, Henrik; Belinfante, Axel Cited in: 16 Publications (2005–2021) Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Centaur Software Authors: Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V Cited in: 18 Publications (1991–2019) Related Software: K Prover; Coq; Maude; ML; MMT; JavaFAN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Checkfence Software Authors: Burckhardt, S., Alur, R., Martin, M.K. Cited in: 18 Publications (2007–2018) Related Software: veriSoft; SPIN; UMM; CBMC; Java Grande; Antichains; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SCR Software Authors: Bourguiba, Imen; Moa, Belaid Cited in: 10 Publications (2000–2018) Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CVT Software Authors: Pnueli, A.; Shtrichman, O.; Siegel, M. Cited in: 17 Publications (1998–2021) Related Software: TVOC; CVC; SystemC; ICS; Loopy; Crellvm; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)
LBS Software Authors: Pedersen, Michael; Plotkin, Gordon D. Cited in: 15 Publications (2010–2022) Related Software: Bio-PEPA; BioNetGen; BIOCHAM; PRISM; BlenX; NFsim; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
ISLANDER Software Authors: Marc Esteva , David de la Cruz , Carles Sierra Cited in: 9 Publications (2006–2016) Related Software: Society Visualiser; Jason; NuSMV; Moise+; CCalc; 2APL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
RAISE Software Authors: George, Chris Cited in: 14 Publications (1993–2021) Related Software: Z; PVS; SPIN; ETPS; SAL; mural; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Fiat Software Authors: Delaware, B., Claudel, C.P., Gross, J., Chlipala, A. Cited in: 14 Publications (2015–2019) Related Software: Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
LTSA-WS Software Authors: Magee J, Kramer J, Uchitel S, et al Cited in: 11 Publications (2006–2021) Related Software: WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; … Main Fields: Computer science (68-XX)
Isabelle/Circus Software Authors: Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff Cited in: 12 Publications (2013–2017) Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
CZT Software Authors: Community Z Tools Project Cited in: 6 Publications (2008–2012) Related Software: Z; Circus; SPIN; ProofPower; Z/EVES; FDR2; … Main Fields: 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)
FALKO Software Authors: SIEMENS; Börger, Egon; Päppinghaus, Peter; Schmid, Joachim Cited in: 10 Publications (2000–2012) Related Software: CoreASM; Metasonic; Rodin; ASM Workbench; ASMKeY; XASM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Java-MaC Software Authors: Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky Cited in: 11 Publications (2003–2021) Related Software: JPAX; Java-MOP; Copilot; InterAspect; evt; AspectWerkz; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Society Visualiser Software Authors: Artikis, Alexander; Sergot, Marek; Pitt, Jeremy Cited in: 8 Publications (2007–2013) Related Software: ISLANDER; CCalc; NuSMV; 2APL; Moise+; Jason; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VPM Software Authors: Dániel Varró, András Pataricza Cited in: 4 Publications (2005–2007) Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; … Main Fields: Computer science (68-XX)
ANNA Software Authors: Luckham, David Cited in: 8 Publications (1986–2007) Related Software: Ada95; Spec#; JML; Eiffel; SPARK; LARCH; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
DEDALE Software Authors: S. Grumbach, P. Rigaux, L. Segoufin Cited in: 7 Publications (2001–2010) Related Software: CCUBE; LyriC; Oracle; LIBSVM; MLPQ; XPERANTO; … Main Fields: Approximations and expansions (41-XX); Computer science (68-XX)
FoCaLiZe Software Authors: INRIA; Pessaux, F., Weia, P., Doligez, D. Cited in: 8 Publications (2015–2021) Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MOMENT2 Software Authors: Artur Boronat; Peter Csaba Ölveczky Cited in: 9 Publications (2010–2016) Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TLAPS Software Authors: Lamport, L Cited in: 10 Publications (1999–2021) Related Software: SPIN; FOOL; Satallax; STeP; LaTeX; Mizar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
LOTOSphere Software Authors: T. Bolognesi, J. van de Lagemaat, C. Vissers Cited in: 6 Publications (2000–2015) Related Software: LOTOS; Concurrency Workbench; XSB; LEGO; Oz; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
mural Software Authors: Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D. Cited in: 8 Publications (1991–2014) Related Software: Jape; FermaT; Rodin; RAISE; ProB; LARCH; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CertiKOS Software Authors: Gu, R., Shao, Z., Chen, H., Wu, X.N., Kim, J., Sjöberg, V., Costanzo, D. Cited in: 8 Publications (2017–2020) Related Software: seL4; Isabelle/HOL; Isabelle; HOL; Coq; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MulVAL Software Authors: Ou, X., Govindavajhala, S., Appel, A.W. Cited in: 5 Publications (2010–2020) Related Software: ADEPTS; SHARPE; CyGraph; TCPDUMP; SecurITree; SeaMonster; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SCTL-MUS Software Authors: Pazos Arias, José J.; García Duque, Jorge Cited in: 5 Publications (2001–2006) Related Software: PVS; NuSMV; SLAM; TLA Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Truth/SLC Software Authors: Leucker, Martin; Noll, Thomas Cited in: 4 Publications (2001–2007) Related Software: mCRL; CADP; PlayGame Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
UMM Software Authors: Yang Y, Gopalakrishnan G, Lindstrom G Cited in: 6 Publications (2007–2016) Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; … Main Fields: Computer science (68-XX)
ACTLW Software Authors: – Cited in: 6 Publications (2008–2016) Related Software: SPIN; COWS; mCRL; wRebeca; AODV; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
C-SPARQL Software Authors: Barbieri, Davide Francesco; Braga, Daniele; Ceri, Stefano; Della Valle, Emanuele; Grossniklaus, Michael Cited in: 7 Publications (2010–2022) Related Software: SPARQL; Clingo; oClingo; Apache Flink; Graal; Jena; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
DisCo Software Authors: Aaltonen, Timo; Katara, Mika; Pitkänen, Risto Cited in: 7 Publications (1998–2006) Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; … Main Fields: Computer science (68-XX)
LPTP Software Authors: Stärk, Robert F. Cited in: 6 Publications (1998–2016) Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; … Main Fields: Computer science (68-XX)
Lutess Software Authors: du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N. Cited in: 5 Publications (1999–2012) Related Software: ATGen; GATeL; Circus; Reo; Maude; Esterel; … Main Fields: Computer science (68-XX)
SyncGen Software Authors: Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki Cited in: 7 Publications (2004–2016) Related Software: ESC/Java; Bandera; SYNTHESIS; Atomizer; SLAM; BLAST; … Main Fields: Computer science (68-XX)
WSOL Software Authors: Tosic, Vladimir; Patel, Kruti; Pagurek, Bernard Cited in: 3 Publications (2002–2003) Related Software: Jess; SNAP; Protege; UDDI Main Fields: Computer science (68-XX)
XPathLog Software Authors: May, Wolfgang Cited in: 1 Publication (2004) Related Software: XPath; XQuery; XCentric; TOY; Haskell; Lore; … Main Fields: Computer science (68-XX)
RT-ASLAN Software Authors: Auernheimer B, Kemmerer R A. Cited in: 3 Publications (1994–2002) Related Software: Esterel; Ada95; ASTRAL Main Fields: 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)
Amphion Software Authors: Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I Cited in: 3 Publications (1998–2010) Related Software: CLAM; Oyster; HOL; SPARK; SETHEO; VCC; … Main Fields: Computer science (68-XX)
Cocktail Software Authors: Franssen, Michael (Eindhoven University of Technology) Cited in: 5 Publications (2000–2017) Related Software: WhyML; z3; cvc3; Why3; SPASS; Alt-Ergo; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
ConSpec Software Authors: Aktug, Irem; Naliuka, Katsiaryna Cited in: 5 Publications (2008–2013) Related Software: SPIN; AspectJ; SLAM; jContractor; PQL; J-LO; … Main Fields: Computer science (68-XX)
COSTABS Software Authors: Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G. Cited in: 5 Publications (2012–2017) Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; … Main Fields: Computer science (68-XX)
Refiner Software Authors: Hunt, Kenny; Cremer, James Cited in: 5 Publications (1995–2005) Related Software: nauty; MOLGEN; ACSL; AMPL; OOPM; Mathematica; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Computer science (68-XX)
ROCS Software Authors: Li, Yinan; Liu, Jun Cited in: 5 Publications (2018–2021) Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Spi2Java Software Authors: Pozza, D., Sisto, R., Durante, L. Cited in: 3 Publications (2007–2014) Related Software: ASPIER; AGVI; ProVerif; TulaFale; ZKPDL; MJ; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TRADE Software Authors: Wieringa, Roel J.; Jansen, David N. Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
anthem Software Authors: Lifschitz, V., Lühne, P., Schaub, T. Cited in: 3 Publications (2019–2020) Related Software: Gringo; TPTP; VAMPIRE; Smodels Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CoMA Software Authors: P Arcaini, A Gargantini, E Riccobene Cited in: 2 Publications (2016–2021) Related Software: AsmetaSMV; NuSMV; ASMETA; Maude; SPIN; COWS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
ImpUNITY Software Authors: Goeman, H.J.M.; Kok, J.N.; Sere, K.; Udink, R.T. ti: Coordination in the ImpUNITY framework. Cited in: 4 Publications (1998–2008) Related Software: – Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)
Pavane Software Authors: G.-C. Roman, K. C. Cox, Donald Wilcox, Jerome Y. Plun Cited in: 4 Publications (2002) Related Software: Tango; Leonardo; Zeus; POLKA; LEDA; XTango; … Main Fields: Computer science (68-XX)
Sapo Software Authors: Dreossi T Cited in: 4 Publications (2017–2021) Related Software: Breach; SpaceEx; dReach; Flow*; HyTech; KeYmaera; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Unbound Software Authors: Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim Cited in: 4 Publications (2011–2019) Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AutoSyn Software Authors: Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng Cited in: 3 Publications (2009–2012) Related Software: WSAT; NuSMV; LTSA-WS; SWORD Main Fields: Mathematical logic and foundations (03-XX); 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: ATLANTIS; Aeon; 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)
Petri-PDL Software Authors: Braga, Christiano; Lopes, Bruno Cited in: 3 Publications (2016–2018) Related Software: Maude Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PiXL Software Authors: del Mar Gallardo, María; Martínez, Jesús; Merino, Pedro; Nuñez, Pablo; Pimentel, Ernesto Cited in: 1 Publication (2007) Related Software: CAESAR; CAESAR_SOLVE; Bandera; CADP; NuSMV; SPIN; … Main Fields: Computer science (68-XX)
PyBioNetFit Software Authors: Mitra, ED; Suderman, R.; Colvin, J.; Ionkov, A.; Hu, A.; Sauro, HM; Posner, RG; Hlavacek, WS Cited in: 1 Publication (2020) Related Software: COPASI; AMIGO; tellurium; MEIGO; BioNetGen; Data2Dynamics; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
SEMANOL Software Authors: Anderson, E. R.; Belz, F. C.; Blum, E. K. Cited in: 3 Publications (1976–1984) Related Software: ALGOL 68; Refal; ALGOL 60 Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX)
TimeML Software Authors: Ingria, B., Pustejovsky, J. Cited in: 3 Publications (2014–2020) Related Software: C4.5; WEKA; LIBLINEAR; LIBSVM; ClearTK; Pyomo; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
UMLsec Software Authors: Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S Cited in: 1 Publication (2018) Related Software: Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; … Main Fields: Computer science (68-XX)
ADL2 Software Authors: Masaharu Obayashi; Hiroshi Kubota; Shane P. McCarron; Lionel Mallet Cited in: 2 Publications (1995–2001) Related Software: ADL Main Fields: Computer science (68-XX)
CosyVerif Software Authors: Haddad, S., Kordon, F., Petruci, L. Cited in: 2 Publications (2013–2015) Related Software: Cython; SNAKES; SWIG; Helena; TINA; Graphviz; … Main Fields: Computer science (68-XX)
DeCIF Software Authors: Cornelius, Felix Cited in: 2 Publications (1999–2001) Related Software: – Main Fields: Computer science (68-XX)
DLC Software Authors: Hugues Evrard Cited in: 2 Publications (2015–2017) Related Software: MCGP; XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; … Main Fields: Computer science (68-XX)
EventB2Java Software Authors: Néstor Cataño; Víctor Rivera Cited in: 2 Publications (2020–2021) Related Software: Rodin; WebASM; SICStus; JeB; Overture Tool; VisB; … Main Fields: Computer science (68-XX)
FORMULA 2.0 Software Authors: Jackson, Ethan K.; Schulte, Wolfram Cited in: 2 Publications (2013–2016) Related Software: ATL; MOMENT2; VIDEAS; Maude; HOL-OCL; AGG; … Main Fields: Computer science (68-XX)
GRADE Software Authors: Kacsuk, Péter; Dózsa, Gábor; Fadgyas, Tibor; Lovas, Róbert Cited in: 2 Publications (1998–2001) Related Software: – Main Fields: Computer science (68-XX)
GRL Software Authors: Jebali F, Lang F, Mateescu R Cited in: 1 Publication (2016) Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; … Main Fields: Computer science (68-XX)
HAL Software Authors: Habbas, Zineb Cited in: 2 Publications (1992–1993) Related Software: – Main Fields: Computer science (68-XX)
LOEWE Software Authors: – Cited in: 2 Publications (2008–2019) Related Software: CAESAR; CADP; ITS-Tools; caesar.bdd; Meddly; PNMC; … Main Fields: Computer science (68-XX)
MiniMaple Software Authors: Khan, Muhammad Taimoor; Schreiner, Wolfgang Cited in: 2 Publications (2012) Related Software: Why3; Maple; DifferenceDifferential; Miranda; Spec#; LARCH Main Fields: Computer science (68-XX)
NetSketch Software Authors: Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael J. Cited in: 2 Publications (2010–2012) Related Software: Isabelle; SPIN; scunac; Fortress; Matita; Mizar; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)