K tool
From MaRDI portal
Software:21725
swMATH9746MaRDI QIDQ21725FDOQ21725
Author name not available (Why is that?)
Cited In (19)
- 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
- P systems with control nuclei: the concept
- Symbolic execution based on language transformation
- 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
- Bounded Model Checking of Recursive Programs with Pointers in K
- Logical approximation for program analysis
- A lazy desugaring system for evaluating programs with sugars
- Matching Logic: An Alternative to Hoare/Floyd Logic
- The Rewriting Logic Semantics Project: A Progress Report
- αCheck: A mechanized metatheory model checker
- Rewriting modulo SMT and open system analysis
- All-Path Reachability Logic
- Language definitions as rewrite theories
- From Rewriting Logic, to Programming Language Semantics, to Program Verification
This page was built for software: K tool
