scientific article; zbMATH DE number 7295368

DOI10.16357/J.CNKI.ISSN1000-5862.2020.03.14MaRDI QIDQ3385867zbMATH OpenFDO

Authors Changjing Wang, Xiao-Jun Yu, Deming Shen, Hai-mei Luo, Zhengkang Zuo

Publication date 14 January 2021

Full work available at URL https://doi.org/10.16357/J.CNKI.ISSN1000-5862.2020.03.14

zbMATH Keywords

concurrent Aplaconcurrent distributed computingformal verification

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 4119602
• Practical abstractions for automated verification of shared-memory concurrency
• scientific article; zbMATH DE number 1903349
• scientific article; zbMATH DE number 2102714
• Convergence Verification: From Shared Memory to Partially Synchronous Systems
• Parameterized Verification of Asynchronous Shared-Memory Systems
• Concurrency based transition refinement for the verification of distributed algorithms
• On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3385867)