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
