CPR*

Jun 23, 2018·
Aaron Dutle
,
Laura Titolo
,
Mariano Moscato
,
César A. Muñoz
· 1 min read

CPR* is a formally verified C implementation of the Compact Position Reporting (CPR) algorithm, a key component of the ADS-B standard responsible for encoding and decoding aircraft positions.