SXML

Formally verified, bounded-stack XML library

Archived

GitHub
22 stars
4 watching
2 forks
Language: Ada
last commit: over 4 years ago
Linked from 1 awesome list

adaformal-methodsformal-verificationparsersparkxml

Backlinks from these awesome lists: