Cited in
(38)- Towards a trustworthy semantics-based language framework via proof generation
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Program verification by coinduction
- Symbolic execution based on language transformation
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- Towards a \(\mathbb{K}\)ool future
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- CoFI
- MontiCore
- Cyclone
- K tool
- K-Maude
- SymDiff
- Mezzo
- CoDeSe
- KJS
- CafeInMaude
- SugarJ
- KLOVERA
- Neverlang
- CITP
- BicolanoMT
- Jinja Threads
- CLDC
- K Prover
- KOOL
- TSL
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- On the effectiveness of higher-order logic programming in language-oriented programming
- KtoIsabelle
- From rewriting logic, to programming language semantics, to program verification
- A language-independent proof system for full program equivalence
- lang-n-play
- Program logics and their applications
- A Maude environment for CafeOBJ
- Matching µ-logic: Foundation of K framework
- LambdaMu-calculus
This page was built for software: K-Java
