1350420

file

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by fainekos on Tue, 01/22/2019 - 7:46pm. Contributor:

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.

biblio

Visible to the public Formal property verification in a conformance testing framework

Submitted by el_wehby on Tue, 05/15/2018 - 11:41pm
biblio

Visible to the public Requirements driven falsification with coverage metrics

Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm
biblio

Visible to the public Towards composition of conformant systems

Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm
biblio

Visible to the public Test-Based Falsification and Conformance Testing for {Cyber-Physical Systems}

Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm