IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale

被引：0
|
作者：
Huerta y Munive, Jonathan Julián [1 ]
Foster, Simon [2 ]
Gleirscher, Mario [3 ]
Struth, Georg [4 ]
Pardillo Laursen, Christian [2 ]
Hickman, Thomas [2 ]
机构：
[1] Czech Institute of Informatics, Robotics and Cybernetics, Czech Technical University in Prague, Jugoslávských partyzánů 1580/3, Prague,160 00, Czech Republic
[2] Computer Science, University of York, Deramore Lane, York,YO10 5GH, United Kingdom
[3] Mathematics & amp,Computer Science, University of Bremen, Bibliothekstraße 5, Bremen,28359, Germany
[4] Regent Court, 211 Portobello, Sheffield,S1 4DP, United Kingdom
来源：
Journal of Automated Reasoning | 2024年 / 68卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera
    Li, Xian
    Bauer, Kerstin
    Schneider, Klaus
    [J]. 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1405 - 1412
  • [2] Runtime Verification for Distributed Cyber-Physical Systems
    Momtaz, Anik
    [J]. 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), 2021, : 349 - 350
  • [3] Statistical Verification of Hyperproperties for Cyber-Physical Systems
    Wang, Yu
    Zarei, Mojtaba
    Bonakdarpour, Borzoo
    Pajic, Miroslav
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
  • [4] Towards Foundational Verification of Cyber-physical Systems
    Malecha, Gregory
    Ricketts, Daniel
    Alvarez, Mario M.
    Lerner, Sorin
    [J]. 2016 SCIENCE OF SECURITY FOR CYBER-PHYSICAL SYSTEMS WORKSHOP (SOSCYPS), 2016,
  • [5] Towards Verification of Uncertain Cyber-Physical Systems
    Radojicic, Carna
    Grimm, Christoph
    Jantsch, Axel
    Rathmair, Michael
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (247): : 1 - 17
  • [6] BraceAssertion: Runtime Verification of Cyber-Physical Systems
    Zheng, Xi
    Julien, Christine
    Podorozhny, Rodion
    Cassez, Franck
    [J]. 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), 2015, : 298 - 306
  • [7] A Hybrid Approach to Cyber-Physical Systems Verification
    Kumar, Pratyush
    Goswami, Dip
    Chakraborty, Samarjit
    Annaswamy, Anuradha
    Lampka, Kai
    Thiele, Lothar
    [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
  • [8] Modeling Cyber-Physical Systems for Automatic Verification
    Driouich, Youssef
    Parente, Mimmo
    Tronci, Enrico
    [J]. 2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
  • [9] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems
    Zhang, Yu
    Xie, Fei
    Dong, Yunwei
    Zhou, Xingshe
    Ma, Chunyan
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548
  • [10] A Systematic Mapping Study on the Verification of Cyber-Physical Systems
    Duan, Pengfei
    Zhou, Ying
    Gong, Xufang
    Li, Bixin
    [J]. IEEE ACCESS, 2018, 6 : 59043 - 59064
12345