KJS
From MaRDI portal
Software:30823
No author found.
Related Items (9)
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle ⋮ Towards a trustworthy semantics-based language framework via proof generation ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ An abstract machine for asynchronous programs with closures and priority queues ⋮ Matching µ-logic: Foundation of K framework ⋮ A language-independent proof system for full program equivalence ⋮ Formal methods for web security ⋮ A coinductive approach to proving reachability properties in logically constrained term rewriting systems ⋮ Program verification by coinduction
This page was built for software: KJS
