Skip navigation
Skip navigation

Proving correctness of JavaCard DL taclets using Bali

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.


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

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator