位置：成果数据库 > 期刊 > 期刊详情页
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems
  • 期刊名称：Journal of Computer Science and Technology
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：上海交通大学
  • 页码：Vol.19(6), pp.812-819
  • 语言：英文
  • 相关项目：计算机软件
作者： 徐蔚文|
同期刊论文项目
计算机软件
期刊论文 16 会议论文 8
同项目期刊论文
Automated test case generation for the stress testing of multimedia systems
一种求解混合约束问题的快速完备算法
程序静态分析技术与工具
基于基本路径的程序自动化测试
Reducing symmetries to generate easier SAT instances
Generating SAT instances from first-order formulas
Solving Boolean combinations of nonlinear numerical constraints
Survey Propagation — 一种求解SAT的高效算法
多线程程序数据竞争的静态检测
基于约束的主动规则终止性分析
约束问题求解