21 search results - page 5 / 5 » A Formally Verified Calculus for Full Java Card |
106
Voted
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...