Visible to the public Safety

Visible to the public 

Visible to the public 

Special Interest Groups

Verification Tools Library 
The Verification Tools Library documents several of the most mature verification tools available to the cyber-physical systems community. In addition to resources pages for each individual tool cataloged here, the library also contains reference pages that describe the terminology used on the search page.

Assurance Case Research Group
The focus of this group is to explore past and present work on developing assurance cases; develop new ideas and leverage technology to argue properties of cyber-physical systems; and establish a body of knowledge on assurance case content, structure, and presentation.

CPS Certification (CERT)
The CERT group was created to discuss and identify research needs in the certifiable assurance of cyber-physical systems.

Software Certification Consortium (SCC)
The SCC is a group of researchers/practitioners who are interested in the development and certification of high integrity systems.

Unifying Control and Verification of
Cyber-Physical Systems

The overall goal of UnCoVerCPS is to develop holistic model-based design methods of future cyber-physical systems with a special focus on unifying control design with formal verification.

Visible to the public 

Workshops and Meetings

International Conference Series on Applied veRification for Continuous and Hybrid Systems (ARCH)
The ARCH workshop series, held as part of CPSWeek, aims to bring together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

Software Certification Consortium
Meeting Series

SCC typically meets twice a year, and the themes of the meetings are designed to contribute to a long-term SCC work plan. 

NASA Formal Methods Symposium (NFM)
Held at NASA. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. 

2015 | 2016 | 2017 | 2018 | 2019 | 2020 |
2021 | 2023

International Conference on Verification and Evaluation of Computer and Communication Systems (VeCOS)
Focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related.

2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023

Visible to the public 

Featured Projects

Visible to the public 

Visible to the public