Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
rewriting logic tool |
| gptkbp:application |
formal methods
model checking formal specification |
| gptkbp:developedBy |
gptkb:SRI_International
|
| gptkbp:developer |
gptkb:José_Meseguer
|
| https://www.w3.org/2000/01/rdf-schema#label |
Maude system
|
| gptkbp:latestReleaseVersion |
2022
3.2 |
| gptkbp:license |
gptkb:GPL
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:supports |
reflection
model checking theorem proving rewriting logic equational specification object-oriented modules |
| gptkbp:usedFor |
gptkb:technical_specification
gptkb:simulation formal verification analysis of concurrent systems protocol analysis |
| gptkbp:website |
http://maude.cs.illinois.edu/
|
| gptkbp:writtenBy |
gptkb:Common_Lisp
gptkb:C++ |
| gptkbp:bfsParent |
gptkb:Carolyn_Talcott
|
| gptkbp:bfsLayer |
5
|