An Automated Verification Method for Distributed Systems Software Based on Model Extraction

• 基于模型析取的分布式系统软件的自动验证方法