Proving correctness of JavaCard DL taclets using Bali
-
Altmetric Citations
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.author | Trentleman, Kerry | |
---|---|---|
dc.coverage.spatial | Koblenz Germany | |
dc.date.accessioned | 2015-12-10T21:55:45Z | |
dc.date.available | 2015-12-10T21:55:45Z | |
dc.date.created | September 7-9 2005 | |
dc.identifier.isbn | 0769524354 | |
dc.identifier.uri | http://hdl.handle.net/1885/39126 | |
dc.description.abstract | 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.publisher | IEEE Computer Society | |
dc.relation.ispartofseries | International Conference on Software Engineering and Formal Methods (SEFM 2005) | |
dc.source | Third IEEE Conference on Software Engineering and Formal Methods (SEFM 2004) Proceedings | |
dc.subject | Keywords: Deductive verification; Dynamic logic; Isabelle; Sequent calculus; Taclets; Theorem provers; Biomineralization; Differentiation (calculus); Formal logic; Semantics; Smart cards; Theorem proving; Software engineering | |
dc.title | Proving correctness of JavaCard DL taclets using Bali | |
dc.type | Conference paper | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
dc.date.issued | 2005 | |
local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
local.identifier.ariespublication | MigratedxPub172 | |
local.type.status | Published Version | |
local.contributor.affiliation | Trentleman, Kerry, College of Engineering and Computer Science, ANU | |
local.bibliographicCitation.startpage | 160 | |
local.bibliographicCitation.lastpage | 169 | |
local.identifier.doi | 10.1109/SEFM.2005.37 | |
dc.date.updated | 2015-12-09T07:31:39Z | |
local.identifier.scopusID | 2-s2.0-38849145555 | |
Collections | ANU Research Publications |
Download
There are no files associated with this item.
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