AdaCore has launched its new RecordFlux technology, designed to ease the development and security of binary communication protocols. The technology comprises a Domain Specific Language (DSL) to precisely describe complex binary data formats and communication protocols, and a toolset to verify specifications and generate Ada code that can be executed on a target CPU and that can be proven with SPARK tools..