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.