Symbolic Analysis of Maude Theories with Narval (Q5108507)
From MaRDI portal
scientific article; zbMATH DE number 7196150
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic Analysis of Maude Theories with Narval |
scientific article; zbMATH DE number 7196150 |
Statements
Symbolic Analysis of Maude Theories with Narval (English)
0 references
4 May 2020
0 references
symbolic reachability analysis
0 references
narrowing
0 references
equational unification
0 references
Maude
0 references
rewriting logic
0 references
