K-Java
From MaRDI portal
Software:30822
swMATH18991MaRDI QIDQ30822FDOQ30822
Author name not available (Why is that?)
Cited In (15)
- 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
- Title not available (Why is that?)
- Towards a \(\mathbb{K}\)ool future
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- On the effectiveness of higher-order logic programming in language-oriented programming
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- A language-independent proof system for full program equivalence
- Matching µ-logic: Foundation of K framework
- A Maude environment for CafeOBJ
- From Rewriting Logic, to Programming Language Semantics, to Program Verification
This page was built for software: K-Java
