Lists (1)
Starred repositories
OTAWA: An Open Toolbox for Adaptive WCET Analysis. Fork of https://git.renater.fr/anonscm/git/otawa/otawa.git
kevindadi / rupta
Forked from rustanlys/ruptaA Pointer Analysis Framework for Rust
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴
Code examples, data structures, and links from my book, Rust Atomics and Locks.
Offline signal temporal logic monitor written in Rust
kevindadi / loom
Forked from tokio-rs/loomConcurrency permutation testing tool for Rust.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Empowering everyone to build reliable and efficient software.
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Curated list of resources for Embedded and Low-level development in the Rust programming language
Find deadlocks in Rust code with Petri net model checking
netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Create petri net data and convert it to other formats