Sciweavers

Share
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
9 years 27 days ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
SPIN
2004
Springer
9 years 1 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial speciļ¬cation for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
books