K tool
From MaRDI portal
Software:21725
No author found.
Related Items (19)
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K ⋮ A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler ⋮ Rewriting modulo SMT and open system analysis ⋮ A lazy desugaring system for evaluating programs with sugars ⋮ Verifying Reachability-Logic Properties on Rewriting-Logic Specifications ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ Logical approximation for program analysis ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ αCheck: A mechanized metatheory model checker ⋮ Symbolic execution based on language transformation ⋮ All-Path Reachability Logic ⋮ P systems with control nuclei: the concept ⋮ Language definitions as rewrite theories ⋮ Matching Logic: An Alternative to Hoare/Floyd Logic ⋮ Unnamed Item ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Bounded Model Checking of Recursive Programs with Pointers in K ⋮ Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
This page was built for software: K tool
