Ada/SPARK Crate of the Year Awards発表！

2024年度Ada/SPARK Crate of the Year Awardsの結果が発表されました！Lionel Draghi氏が、自動テストのために分かりやすいMarkdown形式の動作仕様書を使用するコマンドラインツールBBTでAda Crate of the Yearを受賞しました。Kevin Chadwick氏は、メモリセーフなログライブラリelogs（SPARKシルバー認定）でSPARK Crate of the Yearを受賞しました。このライブラリは、ユーザーが最大メッセージ長を指定できます。最後に、Brent Seidel氏の組み込み可能なLispインタプリタbbs_lispがEmbedded Crate of the Yearを受賞し、組み込みシステムにおけるAdaの強みを示しました。