K-Maude
From MaRDI portal
Cited in
(26)- KtoIsabelle
- Logical approximation for program analysis
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Expression-Based Aliasing for OO–languages
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- Language definitions as rewrite theories
- CoFI
- 2OBJ
- Collecting Semantics under Predicate Abstraction in the K Framework
- PAGODA
- K tool
- DDebugger
- CARIBOO
- K-Java
- KJS
- CafeInMaude
- SymPLFIED
- MGS
- CITP
- K Prover
- KOOL
- On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework
- A Maude environment for CafeOBJ
- LambdaMu-calculus
- An overview of the K semantic framework
- Twenty years of rewriting logic
This page was built for software: K-Maude