A Systematic Review on the Applications of <span style="font-variant: small-caps">Uppaal</span> by Iwona Grobelna, Krystian Gajewski, Andrei Karatkevich

Subjects: Get full text

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking by Chaoze Lu, Chenghao Li, Chenxia Liu, Xianrui Wu, Yimin Huang

Subjects: Get full text

Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement by Satoshi Yamane

Subjects: Get full text

Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks by Tariq Mumtaz, Shahabuddin Muhammad, Faouzi Bouali

Subjects: Get full text

Common Knowledge in Well-structured Perfect Recall Systems by N. O. Garanina

Subjects: Get full text

Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study by Muhammad Rashid, Imran Rasool, Nazir Ahmad Zafar, Hamra Afzaal

Subjects: Get full text

A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagrams by Runfang Wu, Ye Du, Meihong Li

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

An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution by N. O. Garanina, E. A. Sidorova

Subjects: “…model checking…”
Get full text

Model checking deep neural networks: opportunities and challenges by Zohra Sbai, Zohra Sbai

Subjects: Get full text

State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets by Ahmad Taghinezhad-Nia, Saeid Pashazadeh

Subjects: Get full text

InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels by Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson

Subjects: Get full text

Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

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

A model-based approach to automation of formal verification of ROS 2-based systems by Lukas Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu

Subjects: Get full text

A Stackelberg Trust-Based Human–Robot Collaboration Framework for Warehouse Picking by Yang Liu, Fuqiang Guo, Yan Ma

Subjects: Get full text

A Self-Sovereign Identity-Based Authentication and Reputation Protocol for IoV Applications by Victor Emanuel Farias da Costa Borges, Alvaro Sobrinho, Danilo F. S. Santos, Angelo Perkusich

Subjects: Get full text

Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net by Khalid Amjed Mohammed Alsaegg, Saeid Pashazadeh, Mina Zolfy Lighvan

Subjects: Get full text

Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

Subjects: Get full text

On the Model Checking Problem for Some Extension of CTL* by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

Subjects: Get full text

An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms by Natalia O. Garanina

Subjects: Get full text

Safety Verification of Non-Deterministic Policies in Reinforcement Learning by Ryeonggu Kwon, Gihwon Kwon

Subjects: Get full text