Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Proving correctness of JavaCard DL taclets using Bali

link to publisher version

  • Altmetric Citations

Trentleman, Kerry

Description

Developed at the University of Karlsruhe, KeY is an augmented commercial CASE tool with specification and deductive verification functionalities. Recently, lightweight, stand-alone tactics or taclets have been introduced in order to implement the JavaCard

dc.contributor.authorTrentleman, Kerry
dc.coverage.spatialKoblenz Germany
dc.date.accessioned2015-12-10T21:55:45Z
dc.date.available2015-12-10T21:55:45Z
dc.date.createdSeptember 7-9 2005
dc.identifier.isbn0769524354
dc.identifier.urihttp://hdl.handle.net/1885/39126
dc.description.abstractDeveloped at the University of Karlsruhe, KeY is an augmented commercial CASE tool with specification and deductive verification functionalities. Recently, lightweight, stand-alone tactics or taclets have been introduced in order to implement the JavaCard
dc.publisherIEEE Computer Society
dc.relation.ispartofseriesInternational Conference on Software Engineering and Formal Methods (SEFM 2005)
dc.sourceThird IEEE Conference on Software Engineering and Formal Methods (SEFM 2004) Proceedings
dc.subjectKeywords: Deductive verification; Dynamic logic; Isabelle; Sequent calculus; Taclets; Theorem provers; Biomineralization; Differentiation (calculus); Formal logic; Semantics; Smart cards; Theorem proving; Software engineering
dc.titleProving correctness of JavaCard DL taclets using Bali
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2005
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationMigratedxPub172
local.type.statusPublished Version
local.contributor.affiliationTrentleman, Kerry, College of Engineering and Computer Science, ANU
local.bibliographicCitation.startpage160
local.bibliographicCitation.lastpage169
local.identifier.doi10.1109/SEFM.2005.37
dc.date.updated2015-12-09T07:31:39Z
local.identifier.scopusID2-s2.0-38849145555
CollectionsANU Research Publications

Download

There are no files associated with this item.
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator