位置：成果数据库 > 会议 > 会议详情页
Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive System
  • 所属机构名称：北京航空航天大学
  • 会议名称：2008 International Conference on Computer Science and Software Engineering (CSSE 2008)
  • 成果类型：会议
  • 相关项目：面向性质的可信软件建模与时序性质验证及支持工具
作者： Zhenling Zhang|Zhoujun Li|Yangli Jia|
同会议论文项目
面向性质的可信软件建模与时序性质验证及支持工具
期刊论文 25 会议论文 13
同项目会议论文
Active Measurement of Routing Table in Kad
Constructing Program Invariants via Solving QBF
Simplifying Buffer Overflow Detection Using Site-Safe Expressions
A Novel Derivation Framework For Definite Logic Program
Efficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange P
A Specification and Verification Method on Component Composition of Real-Time Reactive Systems
A Method on Specification and Verification of Component Interaction in Real-Time Reactive Systems
Misusing Kad protocol to perform DDoS attacks
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
Modeling and Verifying Time Sensitive Security Protocols with Constraints
Local abstract verification and refinement of security protocols
Constraint Abstraction in Verification of Security Protocols