3 search results - page 1 / 1 » Fully Verified Java Card API Reference Implementation |
76
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
ECOOP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...