Вы здесь

Главная

pvs

Связанные издания:

Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines
Format verification of programs for abstract register machines
Дедуктивная верификация протокола скользя его окна
Контроль динамической семантики предикатной программы