Hitex Webinar with PROTOS: Safety and Security with Contract Based Design
Webinar with Thomas Schütz (PROTOS):
The fulfillment of these contracts can then be ensured through formal verification, generation of test cases or runtime monitoring.
The webinar will first introduce typical problems and the method of contract-based design. This is followed by a demonstrationof various tools with which contract-based design can be implemented in practice.