Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem

Formal Methods in Verification

13 works

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

    Anvar Kabulov, Abdussattar Baizhumanov, Islambek Saymanov

    ArticleMathematical Control Systems and AnalysisMathematics202412 citations
    ABI

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

    Ibrokhimali Normatov

    ArticleFormal Methods in VerificationJournal of Physics Conference Series20195 citations
    ABI

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

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

    ArticleFormal Methods in VerificationMathematics20223 citations
    ABI

  4. Defining algorithmically presented structures in first order logic

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

    ArticleComputability, Logic, AI Algorithms20241 citations
    ABI

  5. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertationLogic, programming, and type systemsTSpace20000 citations
    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

    ArticleFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 citations
    ABI

  7. Universal Linear Data Structure

    Rustam Kabulov Vosilovich

    ArticleFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 citations
    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

    ArticleMathematical Control Systems and AnalysisTransport automation research20240 citations
    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

    ArticleMathematical Control Systems and AnalysisComputation20240 citations
    ABI

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

    Javlon Kholmatov

    ArticleMachine Learning and AlgorithmsAIP conference proceedings20240 citations
    ABI

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

    Д.В. Ефанов

    ArticleMathematical Control Systems and AnalysisTransport automation research20250 citations
    ABI

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

    Anvar Kabulov, Alimdzhan Babadzhanov, Abdussattar Baizhumanov +2

    ArticlePolynomial and algebraic computationMathematics20260 citations
    ABI

  13. Analysis of blow-up situation in finite automata

    Siddhartha Chatterjee, Ritwika Ghosh, Aparijita Das +2

    ArticleFormal Methods in VerificationInternational Journal of Applied Resilience and Sustainability20260 citations
    ABI