Alternatives and similar repositories for SpeAR

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

• smaccm / smaccm

  View on GitHub
  ☆35May 8, 2019Updated 6 years ago
• loonwerks / formal-methods-workbench

  View on GitHub
  ☆23Mar 24, 2023Updated 2 years ago
• ptroja / spark-navigation

  View on GitHub
  Robot navigation algorithms implemented in SPARK
  ☆12Sep 19, 2014Updated 11 years ago
• loonwerks / AGREE

  View on GitHub
  Assume-Guarantee REasoning Environment
  ☆19Dec 3, 2025Updated 2 months ago
• Formal-Systems-Laboratory / ROSRV

  View on GitHub
  ☆15Apr 26, 2021Updated 4 years ago
• coco-team / lustrec

  View on GitHub
  A modular Lustre to C / Horn clauses compiler
  ☆22Nov 17, 2018Updated 7 years ago
• loonwerks / jkind

  View on GitHub
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Jul 3, 2025Updated 7 months ago
• 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
• nasa / VirtualADAPT

  View on GitHub
  ☆29Oct 14, 2017Updated 8 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
• autonomy-and-verification-uol / ROSMonitoring

  View on GitHub
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆42Jan 20, 2026Updated 3 weeks ago
• rsnikhil / Tutorial_RISCV_Summit_2025

  View on GitHub
  Learn the Design of a 6-stage pipelined RISC-V CPU
  ☆17Oct 22, 2025Updated 3 months ago
• dfdazac / grapes

  View on GitHub
  Official implementation of the paper "GRAPES: Learning to Sample Graphs for Scalable Graph Neural Networks".
  ☆13Apr 1, 2025Updated 10 months ago
• bifurcation / tamarin-ake

  View on GitHub
  Models for authenticated key exchange in Tamarin
  ☆12Oct 9, 2019Updated 6 years ago
• MikeTimmerman-ae / AircraftAttitudeControl

  View on GitHub
  Project in which an MPC controller using both state feedback and output feedback with disturbance rejection is design for the attitude dy…
  ☆13Jul 3, 2024Updated last year
• stormpath / stormpath-framework-tck

  View on GitHub
  HTTP integration tests that ensure a Stormpath web framework integration implements the Stormpath Framework Specification
  ☆11Aug 10, 2017Updated 8 years ago
• OpenAADL / Crazyflie

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

  View on GitHub
  Static Analyzer and Verifier
  ☆52Oct 12, 2024Updated last year
• TheMatjaz / minihit

  View on GitHub
  Minimal hitting set solver in Python
  ☆11Dec 15, 2018Updated 7 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
• 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 7 months ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• iscas-tis / ChiRVFormal

  View on GitHub
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.
  ☆18Feb 3, 2026Updated 2 weeks ago
• cnpcshangbo / FOPD-tuner

  View on GitHub
  Fractional order proportional derivative controller tuner
  ☆12May 21, 2019Updated 6 years ago
• seL4 / graph-refine

  View on GitHub
  ☆16Mar 17, 2025Updated 11 months ago
• parthp08 / F16-Flight-Control-and-Simulation

  View on GitHub
  Nonlinear and linear flight simulation with autopilots for altitude hold, velocity hold, and pitch controls(SAS damper).
  ☆13Oct 1, 2021Updated 4 years ago
• utiasSTARS / PX4-PhoenixDrone

  View on GitHub
  PX4 Source Code for Phoenix Tail-sitter
  ☆10Mar 14, 2019Updated 6 years ago
• philtomson / RHDL

  View on GitHub
  Ruby Hardware Description Language
  ☆15Mar 13, 2013Updated 12 years ago
• dmlachap / q_learning_h_infinity

  View on GitHub
  Based on "Model-Free Q-Learning Designs for Linear Discrete-Time Zero-Sum Games With Application to H-Infinity Control" by Al-Tamimi et a…
  ☆18Dec 13, 2021Updated 4 years ago
• ssvlab / dsverifier

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

  View on GitHub
  Ada library and tools for the analysis of Complex Networks and more
  ☆11Nov 16, 2023Updated 2 years ago
• SunggooJung / ADR_TX1

  View on GitHub
  Implementation of ADRNet (Sunggoo Jung*, Sunyou Hwang, Heemin Shin, David H Shim)
  ☆17Aug 13, 2024Updated last year
• murrayrm / ntg

  View on GitHub
  Nonlinear trajectory generation library
  ☆10Aug 22, 2022Updated 3 years ago
• OpenAADL / polyorb-hi-c

  View on GitHub
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆12Sep 22, 2022Updated 3 years ago
• meiersi / scyther-proof

  View on GitHub
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆18Jun 21, 2015Updated 10 years ago
• stefslon / savepng

  View on GitHub
  savepng is a very efficient PNG encoder MEX-routine that outperforms MATLAB's built-in imwrite in compression times and file sizes
  ☆13Nov 23, 2025Updated 2 months ago
• Stanford-BIS / dronestorm

  View on GitHub
  Library for Drone Autonomy
  ☆11Nov 12, 2017Updated 8 years ago
• kind2-mc / kind2

  View on GitHub
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Feb 5, 2026Updated last week
• draperlaboratory / cspgen

  View on GitHub
  A tool for translating imperative programs to CSP.
  ☆13Feb 7, 2017Updated 9 years ago