Lectures related to Design by contract

Force Detection: Micro/Nanomechanical Devices

Covers force detection in micro/nanomechanical devices and related fabrication aspects.

Constructors and Destructors: Best Practices in C++

Discusses constructors and destructors in C++, focusing on best practices and memory management.

Object-Oriented Programming in C++: Inheritance

Covers fundamental concepts of object-oriented programming, focusing on inheritance in C++.

Intellectual Property: Concepts and Case Studies

Covers intellectual property concepts, patents, trademarks, and industrial design, with case studies on trademark disputes and innovative patent filings.

Concurrency and transactional memory in Dafny

Covers Dafny basics, modeling concurrency, and implementing transactional memory with safety and liveness proofs.

Random Number Generation: Deterministic Sequences in C++

Covers the implementation of deterministic random number generation in C++ simulations.