Alternatives and similar repositories for SpeAR

Users that are interested in SpeAR are comparing it to the libraries listed below

• loonwerks / formal-methods-workbench

  View on GitHub
  ☆23Mar 24, 2023Updated 2 years ago
• OpenAADL / Crazyflie

  View on GitHub
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Mar 22, 2020Updated 5 years ago
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 6 years ago
• smaccm / smaccm

  View on GitHub
  ☆35May 8, 2019Updated 6 years ago
• HongchaoZhang-HZ / exactverif-reluncbf-nips23

  View on GitHub
  Exact Verification of ReLU Neural Control Barrier Functions
  ☆11Oct 13, 2023Updated 2 years ago
• coco-team / cocoSim2

  View on GitHub
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Jul 25, 2023Updated 2 years ago
• umangm / realsyn

  View on GitHub
  Automated Controller Synthesis
  ☆15Jun 27, 2018Updated 7 years ago
• lgwagner / SpeAR

  View on GitHub
  Specification and Analysis for Requirements Tool
  ☆21Mar 10, 2021Updated 4 years ago
• nasa / CertWare

  View on GitHub
  ☆53Jun 26, 2016Updated 9 years ago
• loonwerks / jkind

  View on GitHub
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Jul 3, 2025Updated 7 months ago
• nasa / TrickFMI

  View on GitHub
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆22Jul 16, 2024Updated last year
• Verisig / verisig

  View on GitHub
  ☆27Sep 27, 2024Updated last year
• OpenAADL / ocarina

  View on GitHub
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆73Mar 23, 2022Updated 3 years ago
• Frama-C / open-source-case-studies

  View on GitHub
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆33Oct 29, 2020Updated 5 years ago
• nasa / VirtualADAPT

  View on GitHub
  ☆29Oct 14, 2017Updated 8 years ago
• Drona-Org / Drona

  View on GitHub
  Drona is a programming framework for building safe robotics systems
  ☆30Apr 29, 2022Updated 3 years ago
• Conturing / affinitree

  View on GitHub
  ☆10Mar 24, 2025Updated 10 months ago
• SRI-CSL / sally

  View on GitHub
  SRI Sally: A model checker for infinite-state systems.
  ☆76Jul 31, 2025Updated 6 months ago
• isabelle-utp / utp-main

  View on GitHub
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆38Jan 29, 2024Updated 2 years ago
• jose-donato / boilerplate-fastify-knex-graphql

  View on GitHub
  Simple boilerplate with fastify, knex and graphql
  ☆12Jan 11, 2023Updated 3 years ago
• pmusau17 / rtreach_f1tenth

  View on GitHub
  real time reachability for the f1Tenth platform
  ☆11Jan 19, 2022Updated 4 years ago
• ZhaoyangLyu / FROWN

  View on GitHub
  Fastened CROWN: Tightened Neural Network Robustness Certificates
  ☆10Feb 10, 2020Updated 6 years ago
• sebasg84 / InvGears

  View on GitHub
  The InvGears workbench for FreeCAD allows the creation of gear systems
  ☆10Apr 25, 2025Updated 9 months ago
• Shaddadi / veritex

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• PlanetaryRobotics / IrisRoverPackage

  View on GitHub
  Complete software package for the Iris Lunar Rover (CMU).
  ☆16Oct 22, 2024Updated last year
• pbstark / SHANGRLA

  View on GitHub
  Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits
  ☆11Jul 17, 2025Updated 6 months ago
• GalvanizeDataScience / ml-workshop

  View on GitHub
  ☆12Sep 25, 2015Updated 10 years ago
• scvalencia / algorist

  View on GitHub
  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
• bartekn / cold

  View on GitHub
  ☆13Aug 25, 2017Updated 8 years ago
• diffblue / 2ls

  View on GitHub
  Static Analyzer and Verifier
  ☆52Oct 12, 2024Updated last year
• FourThievesVinegar / Chemhacktica-OLD

  View on GitHub
  DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.
  ☆13Aug 31, 2024Updated last year
• golems / motion-grammar-kit

  View on GitHub
  Formal Language Tools for Robots
  ☆15Jun 29, 2016Updated 9 years ago
• nasa / aos-dr

  View on GitHub
  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
• sscit / rel

  View on GitHub
  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
• CAPDGroup / CAPD

  View on GitHub
  CAPD library
  ☆16Jan 4, 2026Updated last month
• bifurcation / tamarin-ake

  View on GitHub
  Models for authenticated key exchange in Tamarin
  ☆12Oct 9, 2019Updated 6 years ago
• hathach / tinyusb_src

  View on GitHub
  Sources only, read-only mirror from hathach/tinyusb
  ☆13Updated this week
• opera / terago

  View on GitHub
  go client for baidu/tera
  ☆12Apr 20, 2018Updated 7 years ago
• Stefan-Code / peer-harvest

  View on GitHub
  Get the IP adresses of Bittorrent Peers
  ☆13Oct 14, 2016Updated 9 years ago