Isabelle/HOL proofs about the eChronos RTOS
☆11Jun 13, 2017Updated 8 years ago
Alternatives and similar repositories for echronos-proofs
Users that are interested in echronos-proofs are comparing it to the libraries listed below
Sorting:
- ☆10Aug 29, 2018Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- ☆20May 30, 2024Updated last year
- 300 MHz to 3800 MHz TCVR daughter card for the Parallella board☆18Aug 28, 2014Updated 11 years ago
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated 2 weeks ago
- The eChronos real-time operating system☆178Dec 30, 2019Updated 6 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago
- Run an OCaml program as an erlang node☆29Mar 25, 2016Updated 9 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Igor Pro data analysis procedures☆15Sep 26, 2020Updated 5 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- Three hundred years ago, the Brazilian Space Agency discovered a rocky exoplanet only 38 light years from Earth. With a surface temperatu…☆10Feb 19, 2016Updated 10 years ago
- AMX NetLinx IP Socket Manager☆13May 2, 2017Updated 8 years ago
- Dockerized EMC Solutions Enabler☆10Jul 7, 2018Updated 7 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ODIN console files, for remote control of PowerSDR☆13Aug 11, 2021Updated 4 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- ☆10May 4, 2019Updated 6 years ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆50Feb 1, 2026Updated 3 weeks ago
- Create minimum MCDC test sets for a boolean expression☆46Feb 15, 2021Updated 5 years ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 13 years ago
- A Hybrid Ensemble Learning Approach to Star-galaxy Classification☆10Sep 3, 2015Updated 10 years ago
- (ARCHIVE) nqp-rx☆37Sep 25, 2014Updated 11 years ago
- AltBeacon module for Appcelerator Titanium☆16Sep 26, 2014Updated 11 years ago
- A Lua client for memcached, with optional non-blocking mode.☆23Jul 1, 2012Updated 13 years ago
- A class for working with CouchDB documents from Cappuccino/Objective-J☆65Oct 12, 2009Updated 16 years ago
- Code/Project hosting platform☆32Mar 19, 2014Updated 11 years ago
- coffee stains package for latex☆12Dec 7, 2020Updated 5 years ago
- 《穿越操作系统迷雾》源码☆11Jan 19, 2025Updated last year
- Content-Addressable Data Synchronization Tool☆11Feb 28, 2019Updated 7 years ago
- Miscellaneous Inform 7 extensions that I've written☆11Mar 20, 2021Updated 4 years ago
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated last month
- An open source badge☆10Oct 8, 2025Updated 4 months ago
- ☆10Mar 14, 2018Updated 7 years ago
- ☆11Jan 16, 2021Updated 5 years ago