21 search results - page 5 / 5 » A Formally Verified Calculus for Full Java Card |
169
Voted
OOPSLA
2010
Springer
15 years 22 days 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...