首页>
外国专利>
Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking
Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking
展开▼
机译:使用并发模型约简和模型检查对模型进行形式验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers.
展开▼