ARCH 2019
Date: Apr 15, 2019 6:00 am – Apr 15, 2019 5:00 pm
Location: Montreal, Canada
6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19)
This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.
Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to
- Proposals for new benchmark problems (not necessarily yet solvable)
- Tool presentations
- Tool executions and evaluations based on ARCH benchmarks
- Experience reports including open issues for industrial success
Submitted by Anonymous
on
Date: Apr 15, 2019 6:00 am – Apr 15, 2019 5:00 pm
Location: Montreal, Canada
6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19)
This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.
Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to
- Proposals for new benchmark problems (not necessarily yet solvable)
- Tool presentations
- Tool executions and evaluations based on ARCH benchmarks
- Experience reports including open issues for industrial success
Submitted by Anonymous
on