位置：成果数据库 > 期刊 > 期刊详情页
Behavior Modeling and Verification of Movement Authority Scenario of Chinese Train Control System us
  • ISSN号：1674-733X
  • 期刊名称：Science China Information Sciences
  • 时间：2014
  • 页码：1-19
  • 相关项目：航天嵌入式软件可信性保障集成环境和示范验证与应用
作者： Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong|
同期刊论文项目
航天嵌入式软件可信性保障集成环境和示范验证与应用
期刊论文 86 会议论文 82
同项目期刊论文
基于启发式的静态中断数据竞争检测方法
软件可信性度量模型研究
Automatically discovering relaxed Lyapunov functions for polynomial systems
Discovering non-terminating inputs for polynomial programs
Compositional Mining of Multiple Object API Protocols through State Abstraction
Modeling and Verifying the Ariadne Protocol using Process Algera
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connective
Model-checking Conditional CSL for Continuous-time Markov Chains
多面体抽象域的整数实现方法及其在整数程序分析中的应用
QCSP based Schedulability Test of Real-time System
Resco: Automatic collection of leaked resources
Anticipatory active monitoring for safety-and security-critical software
TCG动态二进制翻译技术研究
中断驱动控制系统的有界模型检验技术
航天嵌入式软件可信性保障技术及应用研究
Effective Fault Localization Approach Using Coverage Information and Program Slices
Domain-of-attraction estimation for uncertain non-polynomial systems
初等函数可验证赋值及误差分析
Complexity Measure Based on Program Slicing and Ist Validation
程序数值误差的扰动检测与优化
Proving total correctness and generating preconditions for loop programs via symbolic-numeric comput
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation
The semantics and verification of timed service choreography
Compensation by Design
Slice-based Statistical Fault Localization
航天嵌入式软件可信性度量方法及应用研究
Enriching contextual information for fault localization
Optimization Methods for Nop-Shadows Typestate Analysis
Verifying Aspect-Oriented Models Against Crosscutting Properties
面向航天嵌入式软件的形式化建模方法
一种基于有限K近邻的强度帕累托进化算法
一种面向星载计算机的功能级功耗估计方法
中国高速铁路列控系统的形式化分析与验证
面向软件源程序的模型检验技术
基于时间自动机的操作系统中断管理建模与验证
基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证
三分之二模拟拓扑
面向单粒子效应的航天嵌入式软件软防护技术研究
基于浮点区间幂集抽象域的浮点程序分析
面向维护的实时软件时间变化敏感点检测
软件动态正确性的形式化描述
Light-weight Resource Leak Testing Based on Finalizers
Fault Localization using Failure-related Contexts for Automatic Program Repair
Generating Exact Nonlinear Ranking Functions by Symbolic-Numeric Hybrid Method
改进的基于属性的软件可信性度量模型
基于CIL的C语言类型系统构建研究
基于过程间动态符号执行的C语言测试框架
基于最弱前置条件的静态分析误报消除技术
基于区间向量抽象域的数值程序分析算法
基于程序重写与区间运算的浮点异常检测
多机器人路径规划的安全性验证
基于变量访问序模式的中断数据竞争检测方法
中断驱动系统模型检验
基于表格的中断数据冲突静态分析方法
深空探测返回器再入制导仿真分析
A UTP semantic model for Orc language with execution status and fault handling
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS