Projects: pypi: maude
https://packages.ecosyste.ms/registries/pypi.org/packages/maude
Python bindings for Maude
14 versions
Latest release: about 3 years ago
463 downloads last month
Enhanced Analysis
Repository Activity:
Repository Owner:
FADoSS (organization)
Formal Analysis and Design of Software Systems group (Universidad Complutense de Madrid)
Formal Analysis and Design of Software Systems group (Universidad Complutense de Madrid)
README Analysis:
DOI Found
CITATION.cff
Science Score: 100/100
Starting Score: 100 points
Bonuses:
-
+10
DOI references
1 DOI references found in README -
+15
CITATION.cff file
Contains citation file for academic attribution
Penalties:
-
-10
PyPI ecosystem
General-purpose ecosystem -
-10
No science terms in description
No scientific terms found in description
Very Likely Science (100)
Papers Mentioning maude 1
10.3390/s20236860
A Lightweight Three-Factor Authentication Scheme for WHSN ArchitectureCited by: 11
Author(s): Abdullah M. Almuhaideb, Kawther S. Alqudaihi
Software Mentions: 3
Published: over 5 years ago