Cited in
(17)- KtoIsabelle
- Towards a trustworthy semantics-based language framework via proof generation
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- A language-independent proof system for full program equivalence
- A coinductive approach to proving reachability properties in logically constrained term rewriting systems
- An abstract machine for asynchronous programs with closures and priority queues
- Matching µ-logic: Foundation of K framework
- CoDeSe
- TS#
- K-Java
- JSLINQ
- SeLINQ
- From rewriting logic, to programming language semantics, to program verification
- libuv
- Program verification by coinduction
- Formal methods for web security
- LambdaMu-calculus
This page was built for software: KJS
