A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation by Bouassida MohamedSalah, Shawky M

Get full text

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal by Farid Arfi, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot

Subjects: Get full text

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving by Yassmeen Elderhalli, Osman Hasan, Sofiene Tahar

Get full text

A type system for formal verification of cyber-physical systems C/C++ software by Yuriy Manzhos, Yevheniia Sokolova

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

“…The extent of formal verification methods applied to industrial projects has always been limited. …”
Get full text

Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata by Md Tauseef Alam, Raju Halder, Abyayananda Maiti

Get full text

End-to-end formal verification of a RISC-V processor extended with capability pointers by Gao, D, Melham, T

“…This case study presents the formal verification of CHERI-Flute, a modified version of Flute that implements CHERI-RISC-V, against the Sail CHERI-RISC-V specification. …”

A fuzzy description logic based IoT framework: Formal verification and end user programming. by Miguel Pérez-Gaspar, Javier Gomez, Everardo Bárcenas, Francisco Garcia

Get full text

Formal Verification and Analysis of 5G AKA Protocol Using Mixed Strand Space Model by Yuelei Xiao, Shan Gao

Get full text

Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach by Xu Zhi, Zhong Deming, Li Weigang, Huang Hao, Sun And Yigang

Get full text

A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification by Shaik Shakeel Ahamad, Mohammed Al-Shehri, Ismail Keshta

Get full text

Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? by Mina Soltani Siapoush, Jim Alves-Foss

“…Their continuous advances require formal verification that guarantees the accuracy of their functionalities. …”
Get full text

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models by Suzana Andova, Mark van den Brand, Luc Engelen

Get full text

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+ by Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou

“…However, these concepts may introduce an additional level of complexity to the underlying model, rendering its definition a cumbersome and prone to errors process. Applying a formal verification technique allows for a rigorous analysis of the interactions amongst the components, and thus for formal guarantees in respect of the correctness of a model. …”
Get full text

Convolutional neural network designed as small truth tables, application to cryptography, formal verification & explainability by Benamira, Adrien

“…This thesis addresses three primary challenges: the absence of global and precise interpretability in DCNNs, the need for exact, comprehensive, sound, and efficient formal verification of DCNN properties, and the looming privacy threat to user input in cloud-based DCNN deployments for sensitive data. …”
Get full text

Design and implementation of formal verification tool for combinational circuits using automatic test pattern generation by Tan, Sue Yee.

“…Therefore a design error could be detected using formal verification where simulation cannot detect. Therefore Formal Verification is a better choice to detect any error in the design. …”
Get full text

Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications by Alireza Souri, Amin Salih Mohammed, Moayad Yousif Potrus, Mazhar Hussain Malik, Fatemeh Safara, Mehdi Hosseinzadeh

Subjects: Get full text

A formal verification method: model checking(一种形式化验证方法：模型检验) by YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)

Get full text

A Formal Verification Model for Performance Analysis of Reinforcement Learning Algorithms Applied t o Dynamic Networks by Shrirang Ambaji KULKARNI, Raghavendra G . RAO

Get full text

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