スポンサーリンク

金沢大学理工学域電子情報学系 | 論文

• CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
• 組込みソフトウェアのアセンブラのSMT検証
• 組込みソフトウェアのアセンブラのSMT検証
• アセンブリプログラムに対するSMTソルバを使用する有界モデル検査

• < 前のページ

スポンサーリンク