Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseскороОткрытый API экосистемы
Латиница
Русский

Formal Methods in Verification

Работ: 13

  1. Synthesis of Optimal Correction Functions in the Class of Disjunctive Normal Forms

    Anvar Kabulov, Abdussattar Baizhumanov, Islambek Saymanov

    СтатьяMathematical Control Systems and AnalysisMathematics2024Цитирований: 12
    ABI

  2. Principle of Independence of Continuation of Functions Multivalued Logic from Coding

    Ibrokhimali Normatov

    СтатьяFormal Methods in VerificationJournal of Physics Conference Series2019Цитирований: 5
    ABI

  3. The Dual Characterization of Structured and Skewed Structured Singular Values

    Mutti-Ur Rehman, Jehad Alzabut, Taqwa Ateeq +2

    СтатьяFormal Methods in VerificationMathematics2022Цитирований: 3
    ABI

  4. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

    СтатьяComputability, Logic, AI Algorithms2024Цитирований: 1
    ABI

  5. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace2000Цитирований: 0
    ABI

  6. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

    P. Camurati, C. Loiacono, Paolo Pasini +2

    СтатьяFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)2014Цитирований: 0
    ABI

  7. Universal Linear Data Structure

    Rustam Kabulov Vosilovich

    СтатьяFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)2020Цитирований: 0
    ABI

  8. Synthesis of built-in control circuits for combinational digital devices based on Boolean signals correction using polynomial codes

    Д.В. Ефанов, A. A. Grachev, D.V. Pivovarov +2

    СтатьяMathematical Control Systems and AnalysisTransport automation research2024Цитирований: 0
    ABI

  9. Synthesis of Self-Checking Circuits for Train Route Traffic Control at Intermediate Stations with Control of Calculations Based on Weight-Based Sum Codes

    Д.В. Ефанов, Artyom Valeryevich Pashukov, Evgenii M. Mikhailiuta +8

    СтатьяMathematical Control Systems and AnalysisComputation2024Цитирований: 0
    ABI

  10. Tabular method for minimization of three-variable logical functions

    Javlon Kholmatov

    СтатьяMachine Learning and AlgorithmsAIP conference proceedings2024Цитирований: 0
    ABI

  11. Self-Checking Discrete Device Synthesis Using Parity Code Properties and Self-Duality Boolean Functions

    Д.В. Ефанов

    СтатьяMathematical Control Systems and AnalysisTransport automation research2025Цитирований: 0
    ABI

  12. Algorithms for Solving Systems of Boolean Equations Based on the Transformation of Logical Expressions

    Anvar Kabulov, Alimdzhan Babadzhanov, Abdussattar Baizhumanov +2

    СтатьяPolynomial and algebraic computationMathematics2026Цитирований: 0
    ABI

  13. Analysis of blow-up situation in finite automata

    Siddhartha Chatterjee, Ritwika Ghosh, Aparijita Das +2

    СтатьяFormal Methods in VerificationInternational Journal of Applied Resilience and Sustainability2026Цитирований: 0
    ABI