Lectures in MIPT: intro to engineering software using model-checking.
☆17Apr 19, 2021Updated 4 years ago
Alternatives and similar repositories for engineering-sw-hw-model-checking-letures
Users that are interested in engineering-sw-hw-model-checking-letures are comparing it to the libraries listed below
Sorting:
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated last month
- RuCTF 2022. Developed with ♥ by Hackerdom team☆10May 22, 2022Updated 3 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- RFCs for changes to the TLA+ specification language☆11Mar 19, 2025Updated 11 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- ☆18Feb 13, 2026Updated 2 weeks ago
- Материалы к курсу «Архитектура операционных систем», МФТИ, весенний семестр 2022☆16May 20, 2022Updated 3 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- Octopus project☆25Mar 13, 2021Updated 4 years ago
- ☆41Feb 20, 2022Updated 4 years ago
- Lecture notes on Quantum Mechanics for DREC MIPT students☆19Jan 19, 2021Updated 5 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Nov 3, 2021Updated 4 years ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆23Mar 26, 2023Updated 2 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆24Jan 3, 2025Updated last year
- 🌳 Generate a fresh bonsai in your terminal☆31Oct 4, 2021Updated 4 years ago
- Object-Oriented Programming☆12Aug 26, 2021Updated 4 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Sep 22, 2022Updated 3 years ago
- 🌍 🐓 Formal verification for JavaScript☆19Jul 10, 2023Updated 2 years ago
- TLA+ Foundation☆32Nov 24, 2025Updated 3 months ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- ☆10Jul 22, 2020Updated 5 years ago
- A curated list of awesome ton security resources☆39Sep 23, 2025Updated 5 months ago
- ☆43Nov 2, 2018Updated 7 years ago
- ROS packages for control of an autonomous Renault Twizy at the Department of Electrical Engineering, Chalmers University of Technology, S…☆11May 30, 2021Updated 4 years ago
- Upstream Linux Kernel Validation Project API☆38Apr 29, 2024Updated last year
- Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economic…☆45Updated this week
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- ☆10Jan 31, 2022Updated 4 years ago
- ROS2 driver for Staubli robots running a CS9 controller☆17Jul 23, 2025Updated 7 months ago
- This package is a set of basic math fuctions for ROBOTIS's robots.☆10Dec 11, 2024Updated last year
- This is going to be the master repository for all of the Lil'Flo remote control, local control, messaging, etc.☆12Jul 1, 2025Updated 8 months ago
- A Reactive Sparql Client written in Scala and Akka☆13Sep 18, 2023Updated 2 years ago
- KHI ROS2 driver☆16Feb 18, 2026Updated 2 weeks ago
- Minimal example to access PyBullet using C++☆12Mar 19, 2021Updated 4 years ago
- the zero network protocol☆25Jul 21, 2020Updated 5 years ago
- In recent years, object recognition has attracted increasing attention of researchers due to its numerous applications. For instance, obj…☆12Jun 15, 2018Updated 7 years ago
- CANBUS_CANopen_J1939_ABB_PLC_ROS_can-utils☆12May 13, 2024Updated last year