位置：成果数据库 > 会议 > 会议详情页
Constructing Program Invariants via Solving QBF
  • 所属机构名称：北京航空航天大学
  • 会议名称：2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
  • 成果类型：会议
  • 相关项目：面向性质的可信软件建模与时序性质验证及支持工具
作者： Shikun Chen|Zhoujun Li|Mengjun Li|
同会议论文项目
面向性质的可信软件建模与时序性质验证及支持工具
期刊论文 25 会议论文 13
同项目会议论文
Active Measurement of Routing Table in Kad
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
Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive System