Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

DOI10.1016/j.entcs.2007.11.015zbMath1278.68251OpenAlexW2035676673MaRDI QIDQ2871841

Richard Bubel, Andreas Roth, Philipp Rümmer

Publication date: 10 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.11.015

zbMATH Keywords

theorem provingdynamic logiclightweight tacticstaclets

Mathematics Subject Classification ID

Related Items (1)

Certified abstract cost analysis

Uses Software

• KeY

Cites Work

• Hoare logic for Java in Isabelle/HOL
• Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic