Semantics; Model checking; Encoding; Computational modeling; Security; Syntactics; Automation;
机译:分支时间逻辑ECTL#及其树式单通大妙域的Tableau:扩展Ectl +的公平性表达
机译:通过基于SMT的有界模型检查来检查TRWIS的WECTLK属性
机译:利用步骤语义来有效地检查异步系统的有界模型
机译:基于有界语义的延伸ECT的正确检查?特性
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:基于错误检查和纠正的短极化码并行解码算法
机译:比较SAT的有界模型检查RTECTL和ECTL属性