Glossary

Filter:
# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
I
I&A
I/O
IAC
Ice
ICU
IDN
IDS
IFF
II
IIS
IKE
ILS
IM
IMP
IN
Inc
INF
IOC
IP
IPC
IPM
IRC
IRK
IRM
IS
ISM
ISO
ISS
IT
ITF
ITM
ITS
Implementation Verification
  • The use of verification techniques, usually computer assisted, to demonstrate a mathematical correspondence between a formal specification and its implementation in program code. (MTR-8201;)