Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499 by Giordano Lilli, Midhun Xavier, Etienne Le Priol, Vincent Perret, Tatiana Liakh, Roberto Oboe, Valeriy Vyatkin

Subjects: “…Formal verification…”
Get full text

Improved Formal Verification of SDN-Based Firewalls by Using TLA^+ by Tatjana Kapus

Subjects: Get full text

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

Subjects: Get full text

Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model by Andrzej Kochan, Wiktor B. Daszczuk, Waldemar Grabski, Juliusz Karolak

Get full text

Formal Verification of Authentication and Service Authorization Protocols in 5G-Enabled Device-to-Device Communications Using ProVerif by Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo

Get full text

An Overview of Verification and Validation Challenges for Inspection Robots by Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, Matt Webster

Subjects: Get full text

A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations by Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Subjects: Get full text

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol by Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Subjects: Get full text

A Refinement-Based Approach to Spectre Invulnerability Verification by Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

Subjects: Get full text

Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach by Jingda Yang, Ying Wang

Subjects: “…Formal verification…”
Get full text

FIVER – Robust Verification of Countermeasures against Fault Injections by Jan Richter-Brockmann, Aein Rezaei Shahmirzadi, Pascal Sasdrich, Amir Moradi, Tim Güneysu

Subjects: Get full text

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic by Wesley R. Bezerra, Jean E. Martina, Carlos B. Westphall

Subjects: Get full text

Towards automatic Maude specifications generation from C functions by fateh boutekkouk

Subjects: Get full text

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic by Ryeonggu Kwon, Gihwon Kwon

Subjects: Get full text

Local Planning Semantics: A Semantics for Distributed Real-Time Systems by Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

Subjects: Get full text

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications by Dario Guidotti, Laura Pandolfo, Luca Pulina

Subjects: Get full text

A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model by Fenglan Huang, Feng Ni, Jiang Liu, Fan Yang, Jiayi Zhu

Subjects: Get full text

APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System by Jiyoon Kim, Jongmin Oh, Daehyeon Son, Hoseok Kwon, Philip Virgil Astillo, Ilsun You

Subjects: Get full text

A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653 by Wenjing Xu, Dianfu Ma

Subjects: “…formal verification…”
Get full text

A survey of smart contract formal specification and verification by Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang

Subjects: Get full text