Conference item icon

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


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
EasyChair
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
Language:
English
Keywords:
Pubs id:
1094485
Local pid:
pubs:1094485
Deposit date:
2021-05-05

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP