Similar to SPINモデルチェッカ
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical systemUppaal
Uppaal Model Checker
プログラミングツール
Programming tool
AD/Cycle
Android Debug Bridge
Android Debug Bridge
ANTLR
ANTLR
BFDライブラリ
Binary File Descriptor library
Brotli
Brotli
BSD libc
BSD libc
.bss
.bss
CANO-AID
Capistrano
Capistrano (software)
Ccache
Ccache
Check (ユニットテスト・フレームワーク)
Coccinelle (ソフトウェア)
Coccinelle (software)
DbMagic
MRDB
Embedded GLIBC
Embedded GLIBCFastAPP
FuelPHP
FuelPHP
Glade Interface Designer
Glade Interface DesignerGNU Binutils
GNU Binutils