21 search results - page 3 / 5 » A Formally Verified Calculus for Full Java Card |
HICSS
2000
IEEE
13 years 10 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
TAP
2007
Springer
14 years 2 days ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
ECOOP
2010
Springer
13 years 10 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
FMICS
2008
Springer
13 years 7 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...