32 search results - page 7 / 7 » Goanna - A Static Model Checker |
RTAS
2005
IEEE
13 years 11 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
EMSOFT
2009
Springer
14 years 10 days ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...