一种保证分布式虚拟环境实体行为一致性的验证方法

本申请涉及分布式虚拟现实技术领域，公开了一种保证分布式虚拟环境实体行为一致性的验证方法，该方法包括：对分布式虚拟环境的实体进行建模，将实体分类为静态实体和动态实体；对分布式虚拟环境的任务进行建模，设计单任务执行和多任务并发执行，任务执行过程包括任务选择、任务激活实体和实体行为；基于任务的实体行为，划分为单任务中的不同实体行为、多任务的相同实体行为和多任务的不同实体行为；使用定理证明辅助工具对执行分支的实体行为一致性进行验证。该方法能够解决现有技术没有基于任务的多实体行为建模和验证，手工推导验证繁琐且验证过自动化程度不高，导致验证分布式虚拟环境多实体行为的可靠性不高的问题。