2 search results - page 1 / 1 » Type-Based Analysis of Deadlock for a Concurrent Calculus wi... |
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...