Maude Software Authors: Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team Cited in: 621 Publications (1984–2023) Related Software: CafeOBJ; OBJ3; ELAN; Haskell; CASL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
CiME Software Authors: Évelyne Contejean, Claude Marché, Andrei Paskevich, Xavier Urbain Cited in: 38 Publications (1997–2022) Related Software: AProVE; Tyrolean; Coq; CoLoR; MU-TERM; CeTA; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
Maude-NPA Software Authors: Escobar, Santiago; Meadows, Catherine Author Profile; Meseguer, José; Santiago, Sonia Cited in: 31 Publications (2009–2022) Related Software: Maude; AVISPA; TAMARIN; MTT; YAPA; NRL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-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)
JPAX Software Authors: Havelund, Klaus; Roşu, Grigore Cited in: 21 Publications (2002–2022) Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MTT Software Authors: Durán, F., Lucas, S., Meseguer, J. Cited in: 25 Publications (2008–2022) Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
K tool Software Authors: David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu Cited in: 17 Publications (2010–2022) Related Software: K Prover; Maude; PLT Redex; z3; K-Maude; MMT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
PVeStA Software Authors: AlTurki, M., Meseguer, J Cited in: 13 Publications (2011–2021) Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MMT Software Authors: Chalub, Fabricio; Braga, Christiano Cited in: 13 Publications (2007–2019) Related Software: Maude; K Prover; JavaFAN; PMaude; CafeOBJ; K tool; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DDebugger Software Authors: Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael Cited in: 11 Publications (2009–2017) Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CARIBOO Software Authors: O. Fissore, I. Gnaedig, H. Kirchner Cited in: 14 Publications (2004–2012) Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
K-Maude Software Authors: Şerbănuţă, Traian Florin; Roşu, Grigore Cited in: 10 Publications (2010–2021) Related Software: Maude; K Prover; K tool; OBJ3; K-Java; Elf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SCC Software Authors: Hendrix, Joe; Clavel, Manuel; Meseguer, José Cited in: 10 Publications (2005–2018) Related Software: ITP; Maude; PMaude; MMT; MTT; AProVE; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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)
CRC 3 Software Authors: Durán, Francisco; Meseguer, José Cited in: 9 Publications (2010–2020) Related Software: Maude; MTT; ChC 3; CafeOBJ; CSI; OBJ3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Java+ITP Software Authors: Sasse, R., Meseguer, J. Cited in: 7 Publications (2007–2013) Related Software: Maude; JavaFAN; K Prover; ACL2; MMT; Centaur; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Web-TLR Software Authors: Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel Cited in: 5 Publications (2011–2016) Related Software: Maude; iJulienne; Anima; DDebugger; ChC 3; Hood; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ITP/OCL Software Authors: Clavel, Manuel; Egea, Marina Cited in: 5 Publications (2011–2016) Related Software: Maude; MOMENT2; CafeOBJ; Java+ITP; K Prover; Dist-Orc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
iJulienne Software Authors: Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia Cited in: 5 Publications (2014–2020) Related Software: Maude; Web-TLR; Anima; DDebugger; ChC 3; ABETS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DeltaCCS Software Authors: Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars Cited in: 4 Publications (2015–2020) Related Software: VMC; Maude; BuDDy; PGSolver; MSTA; MultiVeStA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Dist-Orc Software Authors: Musab AlTurki; José Meseguer Cited in: 5 Publications (2011–2015) Related Software: Maude; JavaFAN; Java+ITP; K Prover; MOMENT2; K tool; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AADL Software Authors: Kyungmin Bae, Peter Ölveczky, José Meseguer Cited in: 3 Publications (2012–2016) Related Software: GRL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; … Main Fields: Computer science (68-XX)
CafeInMaude Software Authors: Adrián Riesco; Kazuhiro Ogata; Kokichi Futatsugi Cited in: 3 Publications (2017–2020) Related Software: Maude; CafeOBJ; CiMPG; Isabelle/HOL; Hets; SPASS; … Main Fields: Computer science (68-XX)
HI-maude Software Authors: Fadlisyah, Muhammad; Ölveczky, Peter Csaba Cited in: 1 Publication (2015) Related Software: Maude; Maude-NPA; PMaude; JavaFAN; PHAVer Main Fields: History and biography (01-XX); Computer science (68-XX)
MFE Software Authors: Durán, Francisco; Rocha, Camilo; Álvarez, José M. Cited in: 3 Publications (2012–2020) Related Software: Maude; ITP; Maude-NPA; PMaude; OBJ3; Stratego; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pirlo Software Authors: Belzner, Lenz; De Nicola, Rocco; Vandin, Andrea; Wirsing, Martin Cited in: 3 Publications (2014–2020) Related Software: SCEL; Maude; SCELlight; KLAIM; MultiVeStA; SPIN; … Main Fields: Computer science (68-XX)
Rascal Software Authors: Hills, Mark; Klint, Paul; Vinju, Jurgen J. Cited in: 3 Publications (2010–2013) Related Software: Maude; Stratego; MetaEdit+; Simpl; Spoofax; Xtext; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SynchAADL2Maude Software Authors: Bae, K., Ölveczky, P.C., Meseguer, J., Al-Nayeem, A. Cited in: 2 Publications (2015) Related Software: Maude; Uppaal; AADL; dReal; Quicksort; Dist-Orc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ABETS Software Authors: Alpuente, M.; Frechina, F. Author Profile; Sapiña, J.; Ballis, D. Cited in: 3 Publications (2016–2020) Related Software: Maude; LiquidHaskell; ATAME; iJulienne; Mau-Dev; SEViz; … Main Fields: Computer science (68-XX)
ATAME Software Authors: Alpuente, María; Ballis, Demis; Sapiña, Julia Cited in: 3 Publications (2018–2020) Related Software: Maude; ABETS; LiquidHaskell; iJulienne; 3BA; Axl; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
GLINTS Software Authors: María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Cited in: 3 Publications (2019–2022) Related Software: Maude; ACUOS2; Curry; Maude-NPA; MTT; ECCE; … Main Fields: General algebraic systems (08-XX); Computer science (68-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)
PSMaude Software Authors: Bentea, Lucian; Ölveczky, Peter Csaba Cited in: 2 Publications (2013–2019) Related Software: PMaude; PVeStA; PORGY; AGG; MOSBIE; Haskell; … Main Fields: Computer science (68-XX)
tccp Software Authors: Lescaylle, Alexei; Villanueva, Alicia Cited in: 3 Publications (2009–2013) Related Software: GHC; Esterel; CC-Pi; Janus; LMNtal; Oz; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
BMaude Software Authors: Meseguer, José; Roşu, Grigore Cited in: 2 Publications (2002–2004) Related Software: Maude; CafeOBJ; OBJ3 Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CBabel Software Authors: Rademaker, Alexandre; Braga, Christiano; Sztajnberg, Alexandre Cited in: 2 Publications (2005–2009) Related Software: Maude; GraphML; SLMC; yEd 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)
Mau-Dev Software Authors: Maude Cited in: 1 Publication (2019) Related Software: SEViz; GLINTS; ABETS; Curry; Maude Main Fields: Computer science (68-XX)
Mumbo Software Authors: Aktemur, Barış; Kamin, Sam Cited in: 1 Publication (2006) Related Software: Maude Main Fields: Computer science (68-XX)
nlive Software Authors: Maude Wagner, Ana W. Capuano, Emmanuelle Comets Cited in: 0 Publications Related Software: FlexParamCurve; CRAN; lcmm; ggplot2; Segmented; drfit; … Main Fields: –
SDN-SafeCheck Software Authors: Universität Konstanz Cited in: 1 Publication (2021) Related Software: AProVE; Nettle; Frenetic; NetKAT; Maude Main Fields: Computer science (68-XX)