Terms for subject Programming containing допущения

Russian	English
допущение замкнутости мира	closed-world assumption (the unmentioned literals are false ssn)
обоснование по схеме "допущение-подтверждение"	justifying assume-guarantee proofs (ssn)
определённое допущение	certain assumption (ssn)
определённые допущения	certain assumptions (ssn)
это допущение может быть нарушено только в случае одновременного доступа к монитору со стороны многих процессов	the assumption can only be violated if multiple processes access the monitor simultaneously (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)