Methods for Modeling and Analyzing Concurrent Software
Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concu...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
FIU Digital Commons
2013
|
| Subjects: | |
| Online Access: | http://digitalcommons.fiu.edu/etd/931 http://digitalcommons.fiu.edu/cgi/viewcontent.cgi?article=2058&context=etd |