Alternatives and similar repositories for Crazyflie

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

• smaccm / smaccm
  ☆35Updated 6 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆72Updated 3 years ago
• loonwerks / formal-methods-workbench
  ☆23Updated 2 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 3 months ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆13Updated 5 years ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆17Updated 2 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆46Updated last year
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• AFifarek / SpeAR
  Specification and Analysis for Requirements Tool
  ☆10Updated 9 years ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆21Updated 4 years ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 3 months ago
• lasp / adamant
  A model-based flight software framework for Ada
  ☆37Updated last week
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆180Updated 2 weeks ago
• NASA-SW-VnV / CoCoSim
  Automated Analysis Framework for Simulink/Stateflow models.
  ☆59Updated 7 months ago
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆25Updated last year
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆398Updated 7 months ago
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆34Updated this week
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆19Updated last month
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Updated 3 weeks ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated 3 weeks ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆64Updated 2 months ago
• loonwerks / CASE
  DARPA CASE program
  ☆14Updated 7 months ago
• AdaCore / Certyflie
  ☆35Updated 7 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated this week
• ge-high-assurance / RACK
  DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
  ☆21Updated 8 months ago
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆17Updated 2 years ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆11Updated 6 years ago
• TNO / Renaissance-Ada
  Tooling for analysis and manipulation of Ada software
  ☆35Updated last year