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