Rewriting logic as a framework for generic verification tools

MaRDI QIDQ2703694zbMATH OpenFDO

Authors Martin Leucker, Thomas Noll

Publication date 7 May 2001

zbMATH Keywords

compiler generatormodel-checking tool

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
• scientific article; zbMATH DE number 1515853
• Automated Reasoning
• scientific article; zbMATH DE number 1615226
• scientific article; zbMATH DE number 1569122

Cited in

(9)

• Rewriting logic: Roadmap and bibliography
• scientific article; zbMATH DE number 1617312 (Why is no real title available?)
• Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
• Abstract Certification of Global Non-interference in Rewriting Logic
• Towards Erlang verification by term rewriting
• scientific article; zbMATH DE number 1361138 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• Reveal: A Formal Verification Tool for Verilog Designs
• A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3

Describes a project that uses

Uses Software

• ELAN

This page was built for publication: Rewriting logic as a framework for generic verification tools

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703694)