Stainless Tutorial: Verification of Scala Code

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Page 3 of 3

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

Prediction tests

Explores out-of-sample validation and the methodology of cross-validation for testing predictive models.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Hydroacoustics for Hydroelectric Installations

Explores valve closing laws, water hammer, and surge tanks in hydroelectric installations.

Playing Connect Four

Explores the implementation of Connect Four game functionalities and testing methods.

Verification and Validation: Testing and Risk Management

Explores testing methodologies, risk management, and the Flight Readiness Review process in systems engineering.

Training and Testing Games

Emphasizes the importance of separating training and testing data for machine learning models.

Model Assessment and Hyperparameter Tuning

Explores model assessment, hyperparameter tuning, and resampling strategies in machine learning.

Code Generation Lab

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.