edwardcrichton / BToolkitView external linksLinks
The BToolkit, a toolkit supporting software development with the B-method.
☆38Apr 19, 2024Updated last year
Alternatives and similar repositories for BToolkit
Users that are interested in BToolkit are comparing it to the libraries listed below
Sorting:
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Jan 24, 2026Updated 2 weeks ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated last month
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 5 years ago
- Example Ansible-based setup for a 6th gen. Thinkpad X1 Carbon☆16Oct 28, 2018Updated 7 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- source code of VDMTools☆15Mar 30, 2022Updated 3 years ago
- Formal Modelling in VDM☆29Updated this week
- Read-only mirror of the Klever Git repository☆25Jan 21, 2026Updated 3 weeks ago
- PlusCal Cheat Sheet by Stephan Merz☆25Sep 27, 2024Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- Sources for the ANSI/ISO C Specification Language manual☆64Oct 29, 2025Updated 3 months ago
- a RTE-free X.509 parser☆64Oct 24, 2022Updated 3 years ago
- kernel normal form formatter☆30Nov 9, 2025Updated 3 months ago
- Frama-C and WP tutorial☆69Jan 7, 2026Updated last month
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Juliet C/C++ Dynamic Test Suite☆35Apr 18, 2023Updated 2 years ago
- Simple grammar-based test case generator☆39Feb 2, 2026Updated last week
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆28Dec 16, 2022Updated 3 years ago
- Data access library for the MeerKAT radio telescope☆13Jan 21, 2026Updated 3 weeks ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Apr 4, 2019Updated 6 years ago
- CCG is a random C Code Generator☆43Sep 11, 2022Updated 3 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- Linux Developer Libraries☆12May 8, 2017Updated 8 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- 📓 TextMate syntax highlighting for Extended Backus–Naur Form☆14Oct 30, 2016Updated 9 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Updated this week
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Feb 10, 2019Updated 7 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 2 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- OS X / Mint / Ubuntu dotfiles☆11Aug 2, 2022Updated 3 years ago
- Update a local archive of your tweets.☆49Oct 12, 2012Updated 13 years ago
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated last month
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- To be executed upon implementation of generics in Go.☆10Jan 19, 2016Updated 10 years ago
- Repository for the Python version of the MORESANE deconvolution algorithm☆11Dec 12, 2017Updated 8 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 3 years ago