Hing Ratana et al. 2024. Software Model Checking Distributed Applications: A Hybrid Approach. Journal of Advanced Research in Applied Sciences and Engineering Technology. 45, 2 (Apr. 2024), 152–167. DOI:https://doi.org/10.37934/araset.45.2.152167.