K tool

swMATH9746MaRDI QIDQ21725FDOQ21725

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-34005-5_3

Cited In (34)

• 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
• Agapia
• Logical approximation for program analysis
• A lazy desugaring system for evaluating programs with sugars
• MMT
• SOCLE
• K-Maude
• Dist-Orc
• PLT Redex
• MOMENT2
• vlogsl
• PrologCheck
• CoDeSe
• K-Java
• KLOVERA
• Java+ITP
• K Prover
• KOOL
• αCheck: A mechanized metatheory model checker
• TSL
• 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