Coq Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Referenced in: 1,816 Publications (1993–2022) 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 Referenced in: 591 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 Referenced in: 603 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 Referenced 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 Referenced in: 203 Publications (2001–2021) Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; Mizar; MaLARea; … 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 Referenced in: 173 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. Referenced in: 129 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. Referenced 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 Referenced in: 51 Publications (2000–2021) Related Software: JML; ESC/Java; KRAKATOA; Boogie; Spec#; PVS; … 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 Referenced in: 37 Publications (2002–2017) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; … 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 Referenced 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 Referenced 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 Referenced 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. Referenced 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)
JUnit Software Authors: Cheon, Yoonsik; Leavens, Gary T. Referenced 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)
Korat Software Authors: Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov Referenced in: 22 Publications (2001–2021) Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; … Main Fields: Computer science (68-XX)
VIATRA2 Software Authors: Varró, Dániel; Balogh, András Referenced in: 18 Publications (2006–2019) Related Software: PROGRES; AGG; Graph transformation benchmarks; VPM; AToM3; GROOVE; … Main Fields: Computer science (68-XX)
PMaude Software Authors: Gul Agha; José Meseguer; Koushik Sen Referenced in: 26 Publications (2005–2021) 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)
MAYA Software Authors: Hutter, Dieter; Autexier, Serge Referenced in: 23 Publications (2002–2015) Related Software: CASL; Mizar; Isabelle; OMDoc; TPTP; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
qGCL Software Authors: Zuliani, Paolo Referenced in: 23 Publications (2000–2021) Related Software: QPL; Quipper; ScaffCC; YALLA; HYBRID; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
E-LOTOS Software Authors: Clark, Robert; Moreira, Ana Referenced 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 Referenced in: 23 Publications (2008–2022) Related Software: MiniZinc; Zinc; ESRA; COMET; MINION; Sugar; … Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)
HOL-OCL Software Authors: Brucker, Achim D.; Wolff, Burkhart Referenced 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. Referenced 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 Referenced 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 Referenced 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 Referenced 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 Referenced 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. Referenced 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 Referenced 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. Referenced 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. Referenced 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 Referenced 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 Referenced 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. Referenced 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 Referenced 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 Referenced 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 Referenced in: 6 Publications (2008–2012) Related Software: Z; Circus; SPIN; ProofPower; Z/EVES; FDR2; … Main Fields: Computer science (68-XX)
FALKO Software Authors: SIEMENS; Börger, Egon; Päppinghaus, Peter; Schmid, Joachim Referenced 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)
Ivy Software Authors: McMillan, K.L., Padon, O. Referenced in: 10 Publications (2017–2021) Related Software: Ivy; z3; nuXmv; Verdi; Dafny; googletest; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Java-MaC Software Authors: Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky Referenced 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 Referenced 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 Referenced 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 Referenced 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 Referenced 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. Referenced 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 Referenced 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 Referenced 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 Referenced 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. Referenced 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. Referenced 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. Referenced 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 Referenced 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 Referenced 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 Referenced in: 6 Publications (2007–2016) Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; … Main Fields: Computer science (68-XX)
ACTLW Software Authors: – Referenced 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 Referenced 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 Referenced 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. Referenced 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. Referenced 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 Referenced 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 Referenced in: 3 Publications (2002–2003) Related Software: Jess; SNAP; Protege; UDDI Main Fields: Computer science (68-XX)
XPathLog Software Authors: May, Wolfgang Referenced 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. Referenced 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 Referenced 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 Referenced 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) Referenced 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 Referenced 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. Referenced 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 Referenced 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 Referenced 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. Referenced 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. Referenced in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
anthem Software Authors: Lifschitz, V., Lühne, P., Schaub, T. Referenced 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 Referenced 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 Referenced 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. Referenced 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 Referenced in: 4 Publications (2002) Related Software: Tango; Leonardo; Zeus; POLKA; LEDA; XTango; … Main Fields: Computer science (68-XX)
Sapo Software Authors: Dreossi T Referenced 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 Referenced 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 Referenced 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 Referenced in: 2 Publications (2017–2021) Related Software: Cytoscape.js; ATLANTIS; Aeon; 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 Referenced 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 Referenced 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 Referenced 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. Referenced 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. Referenced 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 Referenced 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 Referenced in: 2 Publications (1995–2001) Related Software: ADL Main Fields: Computer science (68-XX)
CosyVerif Software Authors: Haddad, S., Kordon, F., Petruci, L. Referenced in: 2 Publications (2013–2015) Related Software: Cython; SNAKES; SWIG; Helena; TINA; Graphviz; … Main Fields: Computer science (68-XX)
DeCIF Software Authors: Cornelius, Felix Referenced in: 2 Publications (1999–2001) Related Software: – Main Fields: Computer science (68-XX)
DLC Software Authors: Hugues Evrard Referenced in: 2 Publications (2015–2017) Related Software: XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; CADP; … Main Fields: Computer science (68-XX)
EventB2Java Software Authors: Néstor Cataño; Víctor Rivera Referenced in: 2 Publications (2020–2021) Related Software: Rodin; JeB; Overture Tool; SICStus; WebASM; VisB; … Main Fields: Computer science (68-XX)
FORMULA 2.0 Software Authors: Jackson, Ethan K.; Schulte, Wolfram Referenced 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 Referenced in: 2 Publications (1998–2001) Related Software: – Main Fields: Computer science (68-XX)
GRL Software Authors: Jebali F, Lang F, Mateescu R Referenced in: 1 Publication (2016) Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; … Main Fields: Computer science (68-XX)
HAL Software Authors: Habbas, Zineb Referenced in: 2 Publications (1992–1993) Related Software: – Main Fields: Computer science (68-XX)
LOEWE Software Authors: – Referenced 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 Referenced 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. Referenced 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)