Article

A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION

Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov

Article

VERIFICATION OF REACTIVE PROGRAMS BY DEPENDENT TYPE SYSTEMS WITH STRUCTURAL INDUCTION

Article

IMPLICATION AND EQUIVALENCE AS A BASIS FOR VERIFICATION

Article

DATA VERIFICATION IN ISSUE SUPERVISING SYSTEMS BY PRODUCTION RULES

Article

QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES

Article

AUTOMATIC SEARCH OF LOCAL VARIABLES AND ARGUMENTS OF PROCEDURES IN EXECUTABLE CODE DURING COMPUTATIONAL PROCESS VERIFICATION STAGE

Article

SOFTWARE PROTECTION MODEL BASED ON REMOTE ENTRUSTING MECHANISM

Article

VERIFICATION OF FILTERING RULES OF SECURITY POLICY BY MODEL CHECKING

Article

METROLOGICAL SAFETY FACTOR AS A CRITERION FOR MEASURING MEANS CONDITION ESTIMATION

Article

ESTIMATION OF INTERVALS BETWEEN CALIBRATIONS WITH THE ACCOUNT FOR METROLOGICAL ROBUSTNESS OF MEASURING MEANS