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