ITHEA Classification Structure > D. Software > D.2 SOFTWARE ENGINEERING > D.2.4 Software/Program Verification
ITHEA Classification Structure > F. Theory of Computation > F.3 LOGICS AND MEANINGS OF PROGRAMS > F.3.1 Specifying and Verifying and Reasoning about Programs
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ...
By: Mykyta Kartavov, Taras Panchenko, Nataliya Polishchuk (3138 reads)
Rating:
![]()
article:
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ...
· ПРЯМАЯ ЗАДАЧА СИНТЕЗА АДАПТИВНЫХ ЛОГИЧЕСКИХ СЕТЕЙ
· Program Invariants Generation over Polynomial Ring using Iterative Methods.
· SYSTEM OF PROGRAMS PROVING
· МНОГООСНОВНЫЕ АЛГЕБРЫ, АБСТРАКТНЫЕ ТИПЫ ДА�
· EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS
· EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS
·
article:
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ...
· СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС
· МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ�
· МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР
· Program Invariants Generation over Polynomial Ring using Iterative Methods.
·
|
Login World Clock |