Suggested Topics within your search.
Showing 1 - 20 results of 34 for search '"SPIN model checker"', query time: 1.74s Refine Results
  1. 1
    Model Checking WOOL Parallel Library using SPIN Model Checker 
    by Khorsandi Aghai, Majid
    Published 2011
    Get full text
    Others
  2. 2
    Towards scalable model checking of reflective systems via labeled transition systems
    by Ohsuga, A., Tahara, Y., Tei, K.
    Published 2022
    Subjects: “...SPIN model checker...”
    View Fulltext in Publisher
    Article
  3. 3
    Model Checking C Programs by Translating C to Promela
    by Jiang, Ke
    Published 2009
    “... accounts for an important proportion of software reliability. Spin model checker is the world's most...”
    Get full text
    Others
  4. 4
    Framework for Analyzing Highly Concurrent Algorithms in SPIN
    by Maleki, Atefeh
    Published 2011
    “... successful tools for automatic verification is the SPIN Model Checker. It is a general tool for verifying...”
    Get full text
    Others
  5. 5
    Model Checking Time Triggered CAN Protocols
    by Keating, Daniel
    Published 2011
    “... of their control system. A model of the ISO TTCAN protocol has been created using the SPIN model checker...”
    Get full text
  6. 6
    A toolkit for model checking of electronic contracts
    by Abdelsadiq, Abubkr
    Published 2013
    “...-level e-contract verification toolkit using the Spin model checker. A formal Contractual Business...”
    Get full text
  7. 7
    Checking of models built using a graphically based formal modelling language
    by Walters, Robert John
    Published 2005
    Get fulltext
    Article
  8. 8
    Distributed MAP in the SpinJa Model Checker
    “... used by the SPIN model checker. Designed to be extensible and reusable, the implementation of SpinJa...”
    Get full text
    Article
  9. 9
    Formal analysis of security protocols based on web services
    by Shabbir, Fatima
    Published 2011
    “... the Spin model checker. The Simple Message Exchange Protocol and the Security Token Protocol are protocols...”
    Get full text
  10. 10
    A SPIN-based Approach for Detecting Vulnerabilities in C Programs
    “... of software vulnerabilities using the SPIN model checker. We discuss how this approach can be implemented...”
    Get full text
    Article
  11. 11
    Behavior Protocols Extensions
    by Kofroň, Jan
    Published 2007
    “... Protocols via their transformation to Promela-the input language of the Spin model checker....”
    Get full text
    Doctoral Thesis
  12. 12
    Application of Coloured Petri Nets for Verification of Scenario Control Structures in UCM Notation
    “... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating...”
    Get full text
    Article
  13. 13
    The General-Purpose Modeling, Analysis, and Implementation of Software Architectures
    by Mert Özkaya
    Published 2020-07-01
    “... ProMeLa models that can be accepted by the SPIN model checker for the exhaustive verification...”
    Get full text
    Article
  14. 14
    Automated simulation and verification of process models discovered by process mining
    “... of the discovered process models using formal methods. Spin model checker was used to simulate process model...”
    Get full text
    Article
  15. 15
    Verifying Abstract Components Within Concrete Software Environments
    by Bao, Tonglaga
    Published 2009
    “... using the SPIN model checker. We give verification results for several components under test contained...”
    Get full text
    Get full text
    Others
  16. 16
    Checking Parameterized Promela Models of Cache Coherence Protocols
    by V. S. Burenkov, A. S. Kamkin
    Published 2018-10-01
    “..., and communication actions. Finally, the abstract model is verified with the Spin model checker in a usual way...”
    Get full text
    Article
  17. 17
    IMSC-EIoTD: Identity Management and Secure Communication for Edge IoT Devices
    “... verification of security protocols. The proposed model is specified using the PROMELA language. SPIN model...”
    Get full text
    Article
  18. 18
    Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks
    by Barjasteh, Sina
    Published 2019
    “... is less than four. </p><p> The proposed model was developed using the SPIN model checker. The safety...”
    Get full text
  19. 19
    Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin
    “... of the extracted model with the Spin model checker. We demonstrate the applicability of our approach on ISDN User...”
    Get full text
    Article
  20. 20
    Combining type checking with model checking for system verification
    by Ren, Zhiqiang
    Published 2018
    “... accordingly so that the SPIN model checker can be readily employed to perform checking on models constructed...”
    Get full text
Search Tools: Get RSS Feed — Email this Search