Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics

DOI10.1007/11591191_29zbMath1143.68348OpenAlexW1586257880MaRDI QIDQ5387854

Ralf Sasse, Andreas Roth, Wolfgang Ahrendt

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_29

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

The rewriting logic semantics project, The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, Program equivalence by circular reasoning, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report, Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

Uses Software

• JavaFAN
• Maude
• KeY