可验证二进制解析器、消息生成器和协议状态机的形式化规范和生成
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines (2023-06-06, Ada, 2495KB, 下载0次)
为Ada和SPARK实现Microsoft语言协议的服务器
Server implementing the Microsoft Language Protocol for Ada and SPARK (2023-06-09, Ada, 2534KB, 下载0次)