ARCH 2014 - 1st International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2014)

Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are
safety- or operational-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
Reachability analysis and theorem proving
Tools and tool demos
Benchmark problems and experience reports
Certification requirements for typical systems
Open issues for industrial success
Accepted benchmarks and extended abstracts will be published on the CPS-VO website, which features versioning, comments etc., so that benchmarks can evolve over time.