位置：成果数据库 > 会议 > 会议详情页
Runtime Verication with Predictive Semantics
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 4th NASA Formal Methods Symposium (NFM 2012)
  • 成果类型：会议
  • 相关项目：面向运行时监控的软件设计与验证理论研究
作者： Xian Zhang|Martin Leucker|Wei Dong|
同会议论文项目
面向运行时监控的软件设计与验证理论研究
期刊论文 9 会议论文 7
同项目会议论文
Invalid pointer dereferences detection for CPS software based on extended pointer structures
An Extension to Sequence Diagram for Expressing Runtime Monitoring Concerns
Runtime Verification for LTL Schemas
An Event Pattern Language for Runtime Monitoring Based on AOP
Active Monitoring for Control Systems Under Anticipatory Semantics
Security Goals Assurance Based on Software Active Monitoring