| 
	
	
		
	
		
			|  | верификация программ 1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
 2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
 [Домарев В.В. Безопасность информационных технологий. Системный подход.]
 |  
			| EN | 
 |  
			| FR | 
 |  |  |