A Temporal Logics Approach to Contract-Based Design

被引：3
作者：
Cimatti, Alessandro [1 ]
Tonetta, Stefano [1 ]
机构：
[1] FBK Irst, Trento, Italy
来源：
2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI) | 2016年
关键词：
OCRA; contract-based design; temporal logic; SPECIFICATIONS; SAFETY;
D O I：
10.1109/ACVI.2016.7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 3
页数：3
相关论文
共 31 条
[1]  
[Anonymous], TIMOBD 11
[2]  
[Anonymous], SEAA
[3]  
[Anonymous], 2003, High Integrity Software: The SPARK Approach to Safety and Security
[4]  
[Anonymous], 2014, 2014 DES AUT TEST EU
[5]  
Arts T, 2014, LECT NOTES COMPUT SC, V8666, P81, DOI 10.1007/978-3-319-10506-2_6
[6]  
Baracchi Laura, 2014, Handbook of Research on Embedded Systems Design., P209
[7]  
Bauer SS, 2012, LECT NOTES COMPUT SC, V7212, P43, DOI 10.1007/978-3-642-28872-2_3
[8]  
Benveniste A, 2008, LECT NOTES COMPUT SC, V5382, P200, DOI 10.1007/978-3-540-92188-2_9
[9]  
Benveniste Albert., 2012, Research Report RR-8147, P65
[10]   Formal Design and Safety Analysis of AIR6110 Wheel Brake System [J].
Bozzano, M. ;
Cimatti, A. ;
Pires, A. Fernandes ;
Jones, D. ;
Kimberly, G. ;
Petri, T. ;
Robinson, R. ;
Tonetta, S. .
COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 :518-535
1234