Multi-Grained Specifications for Distributed System Model Checking and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lingzhi Ouyang, Xudong Sun 0013, Ruize Tang, Yu Huang 0002, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu. Multi-Grained Specifications for Distributed System Model Checking and Verification. In Proceedings of the Twentieth European Conference on Computer Systems, EuroSys 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025. pages 379-395, ACM, 2025. [doi]

This author has not been identified. Look up 'Lingzhi Ouyang' in GoogleThis author has not been identified. Look up 'Xudong Sun 0013' in GoogleThis author has not been identified. Look up 'Ruize Tang' in GoogleThis author has not been identified. Look up 'Yu Huang 0002' in GoogleThis author has not been identified. Look up 'Madhav Jivrajani' in GoogleThis author has not been identified. Look up 'Xiaoxing Ma' in GoogleThis author has not been identified. Look up 'Tianyin Xu' in Google

runs on WebDSL