位置：成果数据库 > 期刊 > 期刊详情页
Symbolic Model Checking APSL
  • 时间：0
  • 相关项目：软件工程学
同期刊论文项目
软件工程学
期刊论文 25 会议论文 10
同项目期刊论文
基于约束的多面体抽象域的弱接合
一种基于变量可达向量的链表抽象方法
A Programming Language Approach to Internet-Based Virtual Computing Environment
Demand-Driven Memory Leak Detection Based on Flow and Context-Sensitive Pointer Analysis
A Tighter Analysis of Piterman’s Büchi Determinization
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs
Quantitative Analysis for Symbolic Heap Bounds of CPS Software
线性 μ-演算交换深度的可判定性及其复杂度
ETL 的符号化模型检验
软件分析技术进展
基于约束的多面体抽象域的弱结合
面向参数化LTL的预测监控器构造技术
A Spectral Clustering-based Optimal Deployment Method for Scientific Application in Cloud Computing
单变量区间线性不等式抽象域
精确的堆内存使用量上界分析
发布/订阅系统中基于属性分组的匹配结构
静态栅栏分析中反例生成的改进
线性μ-演算交换深度的可判定性及其复杂度
发布订阅系统中的拒绝服务攻击
命令式程序终止性验证方法综述
ETL的符号化模型检验
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis