Формальная верификация: различия между версиями

Перейти к навигации Перейти к поиску
* [[алгебра процессов]]
* [[структурированные алгоритмы]]
* [[структурированнныеструктурированные программы]]
* формальная семантика языков программирования, например [[операционная семантика]], [[денотационная семантика]], [[аксиоматическая семантика]], [математическая семантика программ] и [[логика Хоара]].
 
Анонимный участник

Навигация