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
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- ☆20May 30, 2024Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Just a simple program to collect some stats on a git repository☆13Mar 27, 2017Updated 8 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 8 years ago
- Capability Distribution Language tools for seL4☆38Updated this week
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- The eChronos real-time operating system☆178Dec 30, 2019Updated 6 years ago
- AI Composer from Certora Labs☆21Updated this week
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- Auto-generated lenses for Java beans.☆14Dec 15, 2012Updated 13 years ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- backs up everything github knows about a repository, to the repository☆12Feb 15, 2012Updated 14 years ago
- ☆17Jan 13, 2022Updated 4 years ago
- 300 MHz to 3800 MHz TCVR daughter card for the Parallella board☆18Aug 28, 2014Updated 11 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 7 years ago
- Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"☆13Aug 27, 2020Updated 5 years ago
- ☆13May 18, 2018Updated 7 years ago
- seL4 specification and proofs☆595Mar 13, 2026Updated last week
- The Ciao Preprocessor☆13Jun 17, 2025Updated 9 months ago
- minimal lisp that compiles to x86☆10Mar 19, 2017Updated 9 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- A fork of the PlantUML Editor project for continued development.☆11Apr 8, 2016Updated 9 years ago
- A jQuery plugin for webRTC☆62May 9, 2012Updated 13 years ago
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated last month
- A control for WPF (and other XAML-based frameworks) to provide paging and sorting for your data!☆13Dec 23, 2015Updated 10 years ago
- Static Slicer for LLVM☆67Jan 9, 2016Updated 10 years ago
- Gets information about a Git repository.☆47Nov 25, 2019Updated 6 years ago
- The Lambda Lisp operating system☆10Aug 20, 2020Updated 5 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- ReSharper PowerToys are plugins developed by both the Community and JetBrains for use with ReSharper.☆17Apr 15, 2023Updated 2 years ago
- Assets for Taiwan CDK Meetup #1☆21Jun 28, 2021Updated 4 years ago