Software Model Checking For Distributed Applications Using Hybridization Of Centralization And Cache Approaches
Developing reliable distributed systems poses significant challenges due to the non-deterministic nature of thread and process execution, as well as communication channels. Software model checking offers a means to verify system correctness by exhaustively analyzing all program execution paths. Howe...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2024
|
| Subjects: | |
| Online Access: | http://eprints.usm.my/62449/ http://eprints.usm.my/62449/1/24%20Pages%20from%20HING%20RATANA.pdf |