Proving correctness of JavaCard DL taclets using Bali
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
|Collections||ANU Research Publications|
|Source:||Third IEEE Conference on Software Engineering and Formal Methods (SEFM 2004) Proceedings|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.