Software model checking for distributed applications using hybridization of centralization and cache approaches
Developing reliable distributed systems poses significant challenges due to the nondeterministic 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. Howev...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | en |
| Published: |
Penerbit Universiti Kebangsaan Malaysia
2025
|
| Online Access: | http://journalarticle.ukm.my/26165/1/20%20-.pdf http://journalarticle.ukm.my/26165/ https://www.ukm.my/apjitm/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|