timed-c / ktcLinks
KTH's Timed C compiler
☆19Updated 3 years ago
Alternatives and similar repositories for ktc
Users that are interested in ktc are comparing it to the libraries listed below
Sorting:
- Open Source AADL2 Tool Environment☆48Updated last month
- An interactive (fast) static source code analyzer☆176Updated this week
- TACLe Benchmarks☆54Updated 3 weeks ago
- Examples and case-study that use OSATE☆56Updated 7 months ago
- ☆34Updated 6 years ago
- ☆20Updated 2 years ago
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆69Updated 2 years ago
- The eChronos real-time operating system☆177Updated 5 years ago
- The Schedulability Test Collection And Toolkit☆40Updated 5 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆118Updated 2 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆151Updated 4 months ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated 2 years ago
- The main development version of the PRISM model checker.☆178Updated 2 weeks ago
- ☆112Updated 8 years ago
- A (Py)thon (D)SL for (G)enerating (In)struction set simulators.☆167Updated 7 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 months ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆211Updated last month
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆34Updated 3 weeks ago
- The LTSmin model checking toolset☆60Updated last year
- Static Analyzer and Verifier☆49Updated last year
- Specify and synthesize systems using symbolic algorithms☆51Updated last year
- C Code Source Metrics - tool to gather simple metrics from C code☆39Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆35Updated 2 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆72Updated 3 years ago
- ☆90Updated 3 years ago
- A Modern Probabilistic Model Checker☆152Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆109Updated last week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆45Updated last year