Stainless Verification System Tutorial

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 3 of 3

Introduces a programming course for engineers, emphasizing the importance of mastering multiple languages for future projects.

Pointers: Strings, Functions, Casting

Covers pointers to strings, functions, and casting in C programming.

Grafcet: Programming in C

Covers the programming of a Grafcet in C, including examples like programming a drill.

Microcontrollers: Programming and Applications

Delves into microcontrollers, their programming, and practical applications, offering hands-on exercises and real-world examples.

Programming for Engineers

Covers programming concepts using MATLAB, C, and LabVIEW for engineering projects, including a billiards game analysis.

Introduction to C Programming: Basics and Compilation

Covers the basics of C programming, including syntax, structure, and compilation processes.

Dynamic Memory Management: Using Realloc in C

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.

C Programming Concepts: Debugging and Memory Management

Covers essential C programming concepts, including memory management, debugging techniques, and practical applications in programming projects.

An Introduction to Iris: Higher-Order Concurrent Separation Logic

Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.

Foundations of Software: Modeling Programming Languages

Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.