ccsds_ada

Ada ★ 0 updated 16d ago

SPARK-proved CCSDS protocol suite for Ada 2022

No plain-English explanation yet — one is being written right now. Check back in a minute.