Login(mail) :
Password :
Forgot your password?

April 13, 2015, Seattle, USA

http://cps-vo.org/group/ARCH

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

The deadlines are as below and the details are available on the web site.


Submission deadline: February 12, 2015

Notification of acceptance: March 9, 2015

Final version: March 31, 2015

Workshop: April 13, 2015

Submit an announcement