Nacha Chondamrongkul, Jing Sun 0002, Bingyang Wei, Ian Warren. Parallel Verification of Software Architecture Design. In Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang, editors, 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. pages 50-57, IEEE, 2019. [doi]