K tool
From MaRDI portal
Software:21725
swMATH9746MaRDI QIDQ21725FDOQ21725
Author name not available (Why is that?)
Cited In (18)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Title not available (Why is that?)
- Twenty years of rewriting logic
- 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
- 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
