A Dynamic Logic for the Formal Verification of Java Card Programs (2001)
by
Bernhard Beckert
| Citations: | 59 - 15 self |
BibTeX
@MISC{Beckert01adynamic,
author = {Bernhard Beckert},
title = {A Dynamic Logic for the Formal Verification of Java Card Programs},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we define a program logic (an instance of Dynamic
