Skip navigation
Skip navigation

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

CollectionsANU Research Publications
Date published: 2005
Type: Conference paper
URI: http://hdl.handle.net/1885/39126
Source: Third IEEE Conference on Software Engineering and Formal Methods (SEFM 2004) Proceedings
DOI: 10.1109/SEFM.2005.37

Download

There are no files associated with this item.
Show full 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