-
21
A Systematic Review on the Applications of <span style="font-variant: small-caps">Uppaal</span>
Published 2025-05-01Subjects: Get full text
Article -
22
Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
Published 2025-07-01Subjects: Get full text
Article -
23
Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement
Published 2025-01-01Subjects: Get full text
Article -
24
Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks
Published 2025-01-01Subjects: Get full text
Article -
25
Common Knowledge in Well-structured Perfect Recall Systems
Published 2013-12-01Subjects: Get full text
Article -
26
Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study
Published 2025-01-01Subjects: Get full text
Article -
27
A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagrams
Published 2025-02-01Subjects: “…software model checking…”
Get full text
Article -
28
An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution
Published 2016-12-01Subjects: “…model checking…”
Get full text
Article -
29
Model checking deep neural networks: opportunities and challenges
Published 2025-04-01Subjects: Get full text
Article -
30
State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets
Published 2024-09-01Subjects: Get full text
Article -
31
InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
Published 2020-12-01Subjects: Get full text
Article -
32
Defect Detection: Combining Bounded Model Checking and Code Contracts
Published 2013-12-01Subjects: “…bounded model checking…”
Get full text
Article -
33
A model-based approach to automation of formal verification of ROS 2-based systems
Published 2025-07-01Subjects: Get full text
Article -
34
A Stackelberg Trust-Based Human–Robot Collaboration Framework for Warehouse Picking
Published 2025-05-01Subjects: Get full text
Article -
35
A Self-Sovereign Identity-Based Authentication and Reputation Protocol for IoV Applications
Published 2025-01-01Subjects: Get full text
Article -
36
Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net
Published 2025-07-01Subjects: Get full text
Article -
37
Model checking programs in process-oriented IEC 61131-3 Structured Text
Published 2024-03-01Subjects: Get full text
Article -
38
On the Model Checking Problem for Some Extension of CTL*
Published 2020-12-01Subjects: Get full text
Article -
39
An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms
Published 2024-12-01Subjects: Get full text
Article -
40
Safety Verification of Non-Deterministic Policies in Reinforcement Learning
Published 2024-01-01Subjects: Get full text
Article