计算机综合与前沿
VECoS 2019
International Conference on Verification and Evaluation of Computer and Communication Systems
摘要截稿: 2019-04-30
全文截稿: 2019-05-08
开会时间: 2019-10-07
会议难度:
CCF分类: 无
会议地点: Porto, Portugal
Overview
Topics of interest include, but are not limited to:
Abstraction techniques
Certification standards for real-time systems
Compositional verification
Correct-by-construction design
Dependability assessment techniques
Equivalence checking
Model-checking
Parameterized verification
Performance and robustness evaluation
Probabilistic verification
QoS evaluation, planning and deployment
RAMS (Reliability Availability Maintainability Safety) assessment
Rigorous system design
Security protocols verification
Simulation techniques of discrete-event and hybrid systems
Supervisory control
Verification & validation of IoT
Verification & validation of safety-critical systems
Worst-case execution time analysis