SXML

Formally verified, bounded-stack XML library

Archived

21 stars

3 watching

2 forks

Language: Ada

last commit: over 4 years ago

Linked from 1 awesome list

adaformal-methodsformal-verificationparsersparkxml

Backlinks from these awesome lists:

ohenley/awesome-ada