Artifacts using Boogie Core (5)
route expansion logic - takes route strings in a variety of formats and converts them into 2D paths using relevant navigational data.
Last Release on Jul 9, 2026
2.Boogie ARINC1 usages
org.mitre.boogie » boogie-arinc Apache
parser implementations for various versions and record types within ARINC-424
Last Release on Jul 9, 2026
tools for evaluating how well trajectory data conformed with a physical path (generally as outlined by a procedure/airway
Last Release on Jul 9, 2026
4.Boogie DAFIF
org.mitre.boogie » boogie-dafif Apache
WIP parser implementation for DAFIF.
Last Release on Jul 9, 2026
5.Boogie XML
org.mitre.boogie » boogie-xml Apache
WIP parsers for the ARINC 424 XML standard. This should be considered alpha functionality.
Last Release on Jul 9, 2026
- Prev
- 1
- Next