F´ - A flight software and embedded systems framework
- flight-software
- embedded-systems
- nasa
- cpp
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
NASA Astrobee Robot Software
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.