AFifarek / SpeARView external linksLinks
Specification and Analysis for Requirements Tool
☆10Mar 31, 2016Updated 9 years ago
Alternatives and similar repositories for SpeAR
Users that are interested in SpeAR are comparing it to the libraries listed below
Sorting:
- ☆23Mar 24, 2023Updated 2 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 6 years ago
- ☆35May 8, 2019Updated 6 years ago
- Exact Verification of ReLU Neural Control Barrier Functions☆11Oct 13, 2023Updated 2 years ago
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Specification and Analysis for Requirements Tool☆21Mar 10, 2021Updated 4 years ago
- ☆53Jun 26, 2016Updated 9 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Jul 3, 2025Updated 7 months ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Jul 16, 2024Updated last year
- ☆27Sep 27, 2024Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- ☆29Oct 14, 2017Updated 8 years ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- ☆10Mar 24, 2025Updated 10 months ago
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated 9 months ago
- ☆12Jun 18, 2024Updated last year
- Complete software package for the Iris Lunar Rover (CMU).☆16Oct 22, 2024Updated last year
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 6 months ago
- ☆12Sep 25, 2015Updated 10 years ago
- A collection of algorithms and data structures implemented in the python programming language. Nothing serious, just a training canvas fo…☆11Feb 13, 2019Updated 7 years ago
- ☆13Aug 25, 2017Updated 8 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…☆11Apr 24, 2022Updated 3 years ago
- CAPD library☆16Jan 4, 2026Updated last month
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Sources only, read-only mirror from hathach/tinyusb☆13Updated this week
- go client for baidu/tera☆12Apr 20, 2018Updated 7 years ago
- Get the IP adresses of Bittorrent Peers☆13Oct 14, 2016Updated 9 years ago