RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe. RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. In Farhad Arbab, Sung-Shik Jongmans, editors, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Volume 12018 of Lecture Notes in Computer Science, pages 170-190, Springer, 2019. [doi]

Authors

Tobias Reiher

This author has not been identified. Look up 'Tobias Reiher' in Google

Alexander Senier

This author has not been identified. Look up 'Alexander Senier' in Google

Jerónimo Castrillón

This author has not been identified. Look up 'Jerónimo Castrillón' in Google

Thorsten Strufe

This author has not been identified. Look up 'Thorsten Strufe' in Google