K tool
From MaRDI portal
Cited in
(36)- JavaFAN
- ITP/OCL
- Symbolic execution based on language transformation
- Agapia
- Logical approximation for program analysis
- Twenty years of rewriting logic
- MMT
- Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
- SOCLE
- A lazy desugaring system for evaluating programs with sugars
- K-Maude
- PLT Redex
- MOMENT2
- Dist-Orc
- vlogsl
- PrologCheck
- CoDeSe
- Bounded model checking of recursive programs with pointers in K
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- From rewriting logic, to programming language semantics, to program verification
- Matching logic: an alternative to Hoare/Floyd logic
- K-Java
- The rewriting logic semantics project: a progress report
- Rewriting modulo SMT and open system analysis
- KLOVERA
- The rewriting logic semantics project: a progress report
- K Prover
- Java+ITP
- KOOL
- αCheck: A mechanized metatheory model checker
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
- scientific article; zbMATH DE number 7204429 (Why is no real title available?)
- TSL
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- Language definitions as rewrite theories
- P systems with control nuclei: the concept
This page was built for software: K tool
