Citrom Media | Technology Holdings
Deep Tech incubator and parent company of MetaSpace Technologies. Developing deterministic safety layers for autonomous systems.
Popular repositories Loading
-
MetaSpace-Sentinel-Core
MetaSpace-Sentinel-Core PublicForked from LemonScripter/MetaSpace-Drone-Shield
A high-integrity formal verification framework for UAV navigation. Detects GPS spoofing via deterministic invariants and SMT-verified logic. Logic-as-Hardware for mission-critical defense.
HTML
Repositories
Showing 1 of 1 repositories
- MetaSpace-Sentinel-Core Public Forked from LemonScripter/MetaSpace-Drone-Shield
A high-integrity formal verification framework for UAV navigation. Detects GPS spoofing via deterministic invariants and SMT-verified logic. Logic-as-Hardware for mission-critical defense.
CitromMedia/MetaSpace-Sentinel-Core’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…