位置：成果数据库 > 期刊 > 期刊详情页
Specifying and Verifying PLC systems with TLA+: a case study
  • 时间：0
  • 相关项目：基于定理证明的可信嵌入式软件建模与验证平台研究
同期刊论文项目
基于定理证明的可信嵌入式软件建模与验证平台研究
期刊论文 16 会议论文 24 著作 1
同项目期刊论文
A deadlock-free scheduling with sequence-dependent setup times
基于Verics的组合Web服务有界模型检测
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connect
Modeling job shop scheduling with batches and setup times by timed Petri nets
Formalization and Veri?cation of PLC Timers in Coq
Competent Predicate Abstraction in Model Checking
Equality detection for line arithmetic constraints
Formal Modeling and Synthesis of Programmable Logic Controllers
Maxterm Covering for Satisfiability
一种求解认知难题的模型检测方法
COQ定理证明器辅助PLC程序验证和分析