Asosiy kontentga oʻtish
AkademIndex

Xizmatlar

Formal Methods in Verification

13 ta ish

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

    Anvar Kabulov, Abdussattar Baizhumanov, Islambek Saymanov

    MaqolaOchiq kirishMathematical Control Systems and AnalysisMathematics202413 iqtibos
    ABI

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

    Ibrokhimali Normatov

    MaqolaOchiq kirishFormal Methods in VerificationJournal of Physics Conference Series20197 iqtibos
    ABI

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

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

    MaqolaOchiq kirishFormal Methods in VerificationMathematics20223 iqtibos
    ABI

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

    Anvar Kabulov, Alimdzhan Babadzhanov, Abdussattar Baizhumanov +2

    MaqolaOchiq kirishPolynomial and algebraic computationMathematics20262 iqtibos
    ABI

  5. Defining algorithmically presented structures in first order logic

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

    MaqolaComputability, Logic, AI Algorithms20241 iqtibos
    ABI

  6. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertatsiyaOchiq kirishLogic, programming, and type systemsTSpace20000 iqtibos
    ABI

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

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

    MaqolaFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 iqtibos
    ABI

  8. Universal Linear Data Structure

    Rustam Kabulov Vosilovich

    MaqolaFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 iqtibos
    ABI

  9. 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

    MaqolaMathematical Control Systems and AnalysisTransport automation research20240 iqtibos
    ABI

  10. 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

    MaqolaOchiq kirishMathematical Control Systems and AnalysisComputation20240 iqtibos
    ABI

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

    Javlon Kholmatov

    MaqolaMachine Learning and AlgorithmsAIP conference proceedings20240 iqtibos
    ABI

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

    Д.В. Ефанов

    MaqolaOchiq kirishMathematical Control Systems and AnalysisTransport automation research20250 iqtibos
    ABI

  13. Analysis of blow-up situation in finite automata

    Siddhartha Chatterjee, Ritwika Ghosh, Aparijita Das +2

    MaqolaOchiq kirishFormal Methods in VerificationInternational Journal of Applied Resilience and Sustainability20260 iqtibos
    ABI