Sciweavers

30 search results - page 1 / 6
» Formal Specification and Verification of JavaCard's Applicat...
Sort
View
JAVACARD
2000
13 years 7 months ago
Formal Specification and Verification of JavaCard's Application Identifier Class
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
Joachim van den Berg, Bart Jacobs, Erik Poll
CARDIS
2000
Springer
129views Hardware» more  CARDIS 2000»
13 years 7 months ago
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
Erik Poll, Joachim van den Berg, Bart Jacobs
ICDT
2009
ACM
121views Database» more  ICDT 2009»
13 years 1 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
IEE
2008
115views more  IEE 2008»
13 years 3 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
TELSYS
2002
126views more  TELSYS 2002»
13 years 3 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...