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