A proof-based method of hybrid systems development using differential invariants

被引：0
|
作者：
Liu, Jie [1 ,2 ]
Liu, Jing [1 ]
Zhang, Miaomiao [3 ]
Sun, Haiying [1 ]
Chen, Xiaohong [1 ]
Du, Dehui [1 ]
Chen, Mingsong [1 ]
机构：
[1] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China
[2] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China
[3] Tongji Univ, Sch Software Engn, Shanghai 201804, Peoples R China
来源：
FRONTIERS OF COMPUTER SCIENCE | 2018年 / 12卷 / 05期
关键词：
D O I：
10.1007/s11704-018-7213-y
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1026 / 1028
页数：3
相关论文
共 50 条
  • [1] A proof-based method of hybrid systems development using differential invariants
    Jie Liu
    Jing Liu
    Miaomiao Zhang
    Haiying Sun
    Xiaohong Chen
    Dehui Du
    Mingsong Chen
    Frontiers of Computer Science, 2018, 12 : 1026 - 1028
  • [2] A Proof-Based Method for Modelling Timed Systems
    Iliasov, Alexei
    Bryans, Jeremy
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 161 - 176
  • [3] A hybrid of counterexample-based and proof-based abstraction
    Amla, N
    McMillan, KL
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 260 - 274
  • [4] On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
    Ait-Ameur, Yamine
    Gibson, J. Paul
    Mery, Dominique
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 604 - 618
  • [5] A hybrid of counterexample-based and proof-based abstraction
    Amla, N
    McMillan, KL
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 260 - 274
  • [6] Formal Specification of Medical Systems by Proof-Based Refinement
    Mery, Dominique
    Singh, Neeraj Kumar
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [7] An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants
    Liu, Jie
    Liu, Jing
    Zhang, Miaomiao
    Sun, Haiying
    Chen, Xiaohong
    Du, Dehui
    Chen, Mingsong
    2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, : 138 - 143
  • [8] Industrialising a proof-based verification approach of computerised interlocking systems
    Behnia, S.
    Mammar, A.
    Mota, J-M.
    Breton, N.
    Caspi, P.
    Raymond, P.
    COMPUTERS IN RAILWAYS XI: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2008, 103 : 143 - 152
  • [9] Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
    Draemnesc, Isabela
    Jebelean, Tudor
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (303): : 76 - 91
  • [10] Proof-based system engineering using a virtual system model
    Biely, M
    Le Lann, G
    Schmid, U
    SERVICE AVAILABILITY, 2005, 3694 : 164 - 179
12345