位置：成果数据库 > 期刊 > 期刊详情页
基于广义符号轨迹赋值模型验证的反例的产生
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：245-248
  • 相关项目：基于广义符号轨迹赋值理论的模型检测
作者： 李义年|曹占涛|郑德生|杨国武|
同期刊论文项目
基于广义符号轨迹赋值理论的模型检测
期刊论文 27 会议论文 8
同项目期刊论文
可编程逻辑控制器的形式化建模与综合
多端图切割的改进参数算法
Wire congestion estimation in a bounded-bend model
Exact synthesis of three-qubit quantum circuits from non-binary quantum gates
基于S3C2410X的I~2C总线接口的软件仿真与验证
符号轨迹赋值中对称结构的自动化探索
NAND Flash仿真模块的一种验证方法
混杂前缀选择系统的形式化分析
一类半线性时变常微分方程解的分布
超图中发现最小的3路切割
AN ANALYTICAL CONGESTION MODEL WITH BOUNDED-BEND DETOURS
Mathematical analysis of stage-based programmable logic controller
SST39VF040 NorFlash芯片的软件仿真实现
基于贝叶斯网络的PLC系统的可靠性分析
生化应用里同步布尔网络中发现吸引子的高效算法
一类SAT Benchmark的算法研究
基于局部搜索的完备SAT求解算法
New strategies for reliability analysis of Programmable Logic Controllers
基于状态迁移模型的NAND闪存的软件仿真
Markov链使用模型的测试用例生成方法研究
基于GSTE的验证在UART模块中的应用研究
电路并发性质在GSTE中的研究和实现
Performance-driven assignment and mapping for reliable networks-on-chips
Complete Boolean Satisfiability Solving Algorithms Based on Local Search