Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction by Umeno, Shinya, Lynch, Nancy Ann

“…In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using Timeout Order Abstraction (TO-Abstraction), a technique to abstract a given timed model in a certain sub-class of loosely synchronized real-time distributed systems into an untimed model. …”
Get full text
Get full text

Formal Verification of a Clock Synchronization Method in a Distributed Automotive System by Böhm, P

“…This thesis presents the formal verification of a clock synchronization algorithm in a distributed communication system. …”

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic by Chunna Zhao, Murong Jiang, Yaqun Huang

“…As a theorem-proving formal verification method, it can be applied to an arbitrary system represented by a mathematical model. …”
Get full text

Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq by Sheng Yan, Wensheng Yu

Subjects: “…formal verification…”
Get full text

A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards by M. Henzl, P. Hanacek

Subjects: 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 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

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

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

A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking by Geovana Ramos Sousa Silva, Genaína Nunes Rodrigues, Edna Dias Canedo

Subjects: Get full text

rTLS: Secure and Efficient TLS Session Resumption for the Internet of Things by Koen Tange, Sebastian Mödersheim, Apostolos Lalos, Xenofon Fafoutis, Nicola Dragoni

Subjects: Get full text

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

Get full text