Conference item
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
- Abstract:
-
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this third edition, six tools have been applied to solve five different benchmark problems in the category for piecewise constant dynamics: BACH, Lyse, Hy- COMP, PHAVer/SX, PHAVerLite, and VeriSiMPL. Compared to l...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Version of record, 338.3KB)
-
- Publisher copy:
- 10.29007/rjwn
- Publication website:
- https://easychair.org/publications/paper/MTXh
Authors
Bibliographic Details
- Publisher:
- EasyChair Publisher's website
- Series:
- EPiC Series in Computing
- Series number:
- 61
- Pages:
- 1-13
- Publication date:
- 2019-05-25
- Acceptance date:
- 2021-03-17
- Event title:
- ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Event location:
- Montreal, Canada
- Event website:
- https://cps-vo.org/group/ARCH/archive
- Event start date:
- 2019-04-15
- Event end date:
- 2019-04-15
- DOI:
- EISSN:
-
2398-7340
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
1094485
- Local pid:
- pubs:1094485
- Deposit date:
- 2021-05-05
Terms of use
- Copyright holder:
- Frehse, G et al.
- Copyright date:
- 2019
- Rights statement:
- © The Authors. This is an open access article.
- Notes:
- This paper was presented at ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, 15 April 2019, Montreal, Canada.
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record