Search Results - "Model checking"

Refine Results
  1. 1

    Advancing verification of process mining models with quantitative model checking in stochastic environment by Mangi Fawad Ali, Su Guoxin, Zhang Minjie

    Published in ITM Web of Conferences (2024-01-01)
    Subjects: “…probabilistic model checking…”
    Get full text
    Article


  2. 2

    The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov

    Subjects: “…model checking…”
    Get full text
    Article


  3. 3

    Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes by Fawad Ali Mangi, Guoxin Su, Minjie Zhang

    Published in Future Internet (2023-11-01)
    Subjects: “…model checking…”
    Get full text
    Article


  4. 4

    Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening by Gianpiero Cabodi, Paolo Enrico Camurati, Marco Palena, Paolo Pasini

    Published in IEEE Access (2024-01-01)
    Subjects: “…hardware model checking…”
    Get full text
    Article


  5. 5

    Model Checking of Distributed Systems with Affine Data Structures by N. O. Garanina

    Subjects: “…symbolic model checking…”
    Get full text
    Article


  6. 6

    Formal Verification of STPA with Model Checking by Ryeonggu Kwon, Gihwon Kwon

    Subjects: “…formal verification, model checking, STPA…”
    Get full text
    Article


  7. 7

    On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

    Subjects: “…model checking…”
    Get full text
    Article


  8. 8

    A Divide and Conquer Approach to Eventual Model Checking by Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

    Published in Mathematics (2021-02-01)
    Subjects: “…model checking…”
    Get full text
    Article


  9. 9

    Applying MDE to ROS Systems: A Comparative Analysis by Mickael Trezzy, Ileana Ober, Iulian Ober, Raquel Oliveira

    Published in Scientific Annals of Computer Science (2021-08-01)
    Subjects: “…model checking…”
    Get full text
    Article


  10. 10

    Correctness Verification of Mutual Exclusion Algorithms by Model Checking by Libero Nigro, Franco Cicirelli

    Published in Modelling (2024-06-01)
    Subjects: “…model checking…”
    Get full text
    Article


  11. 11

    A Security Analysis of Circuit Clock Obfuscation by Rajesh Datta, Guangwei Zhao, Kanad Basu, Kaveh Shamsi

    Published in Cryptography (2022-08-01)
    Subjects: “…model-checking…”
    Get full text
    Article


  12. 12

    THE MODAL µ-CALCULUS: A SURVEY by GIACOMO LENZI

    Published in TASK Quarterly (2005-07-01)
    Subjects: “…model checking…”
    Get full text
    Article


  13. 13

    Real-Time System Modeling and Verification Through Labeled Transition System Analyzer by Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li

    Published in IEEE Access (2019-01-01)
    Subjects: “…model checking…”
    Get full text
    Article


  14. 14

    Equivalence and Minimization for Model Checking Labeled Markov Chains by Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch

    Subjects: “…model checking…”
    Get full text
    Article


  15. 15

    Formal Verification of Business Constraints in Workflow-Based Applications by Florin Stoica, Laura Florentina Stoica

    Published in Information (2024-12-01)
    Subjects: “…ATL model checking…”
    Get full text
    Article


  16. 16

    Generating and Employing Witness Automata for ACTLW Formulae by Rok Vogrin, Robert Meolic, Tatjana Kapus

    Published in IEEE Access (2022-01-01)
    Subjects: “…model checking…”
    Get full text
    Article


  17. 17

    PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs by Yang Liu, Aohui Fang

    Published in Entropy (2025-02-01)
    Subjects: “…probabilistic model checking…”
    Get full text
    Article


  18. 18

    Practical Access to Dynamic Programming on Tree Decompositions by Max Bannach, Sebastian Berndt

    Published in Algorithms (2019-08-01)
    Subjects: “…model checking…”
    Get full text
    Article


  19. 19

    Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

    Subjects: “…model checking…”
    Get full text
    Article


  20. 20

    On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks by Alevtina B. Glonina, Vasily V. Balashov

    Subjects: “…model checking…”
    Get full text
    Article


Search Tools: