ITHEA Classification Structure > F. Theory of Computation > F.3 LOGICS AND MEANINGS OF PROGRAMS > F.3.1 Specifying and Verifying and Reasoning about Programs
МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР
By: Андрей Криволап, Николай Никитче (4158 reads)
Rating:
![]()
article:
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ...
· СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС
· МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ�
· МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР
· Program Invariants Generation over Polynomial Ring using Iterative Methods.
·
|
Login World Clock |