
	Chemical structure search How to Search	Import MOLfile format is only available (V3000 format is not available) Exact match Substructure search Superstructure search Substructure or superstructure search Similarity search

Search

Article using the Term

Patent using the Term

Research Project using the Term

Term

J-GLOBAL ID：200906028698060849

program verification

電子計算機
Synonyms (2)：

software verification (ソフトウェア検証)
About software verification
- Search "software verification"
Software Validation (ソフトウェア検証)
About Software Validation
- Search "Software Validation"

Related terms (14)：

program correctness (プログラムの正しさ)
About program correctness
- Search "program correctness"
- Detailed information
debugging (デバッギング)
About debugging
- Search "debugging"
- Detailed information
computer system development (計算機システム開発)
About computer system development
- Search "computer system development"
- Detailed information
software engineering (ソフトウェア工学)
About software engineering
- Search "software engineering"
- Detailed information
Hoare logic (Hoare論理)
About Hoare logic
- Search "Hoare logic"
- Detailed information

Broader terms (1)：

verification (検証)
About verification
- Search "verification"
- Detailed information

Narrower terms (6)：

model checking (モデル検査)
About model checking
- Search "model checking"
- Detailed information
Clone detection (クローン検出)
About Clone detection
- Search "Clone detection"
- Detailed information
Model-based Testing (モデルベーステスト)
About Model-based Testing
- Search "Model-based Testing"
- Detailed information
break point (ブレークポイント【プログラム検証】)
About break point
- Search "break point"
- Detailed information
coverage (カバレッジ【プログラム検証】)
About coverage
- Search "coverage"
- Detailed information

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed


	Free word	※Add the following synonyms, you can increase the number of hits.




		～