The formalization of system engineering models and approaches.

Visible to the public Postdoctoral Research Position in Medical Cyber-Physical Systems at UVA Link Lab

Postdoctoral Research Fellow Opportunity: The Department of Computer Science and the Department of Electrical and Computer Engineering in the School of Engineering and Applied Science at the University of Virginia seek to hire a postdoctoral research fellow to support the faculty and students in the CPS Link Lab (


Visible to the public Verification Tool Competition:

ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since. Since 2017, ARCH has organized as a part of the workshop the International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP,, now in its 3rd iteration.


Visible to the public  VECoS 2019
Oct 07, 2019 7:00 am - Oct 09, 2019 6:00 pm WEST

International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)

co-located with the International Symposium on Formal Methods, FM 2019.