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