講師：伊藤 昌夫
担当：日本 Ada 協会
レベル：入門編
対象者：SPARK / Ada 言語について知りたい人．形式検証に興味がある人
前提知識：特にありません．
Ada言語は，歴史のある言語で，航空宇宙分野で主として用いられてきました．
近年，システムの安全性やセキュリティへの関心が高まると共に，開発用言語として広く注目されています．
SPARKは，より高信頼性のシステムを作るための言語で，Ada 言語のサブセットとなっています．
形式検証をサポートしています．
今回，言語の概要と，コミュニティ版を試すための手順について説明します．
【カテゴリ】プログラム言語
