:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kazi Md Arif Shahriar
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.20027649
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ProVerif Scripts for the Formal Analysis of our Protocol
by: AdilKhan000
Published: (2025)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

Formal Modeling and Verification of Grover's Algorithm
by: Sun, H., et al.
Published: (2026)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

Formal Verification in Automated Manufacturing
by: Tang, Yiheng
Published: (2025)

Formal Verification of Minimax Algorithms
by: Wesselink, Wieger, et al.
Published: (2025)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

DafnyBench: A Benchmark for Formal Software Verification
by: Loughridge, Chloe, et al.
Published: (2024)

Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent
by: Parth Ganeriwala, et al.
Published: (2025)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

State of the Art in the Research of Formal Verification
by: Edgar Serna-M.
Published: (2014)

Formal Verification of the Empty Hexagon Number
by: Subercaseaux, Bernardo, et al.
Published: (2024)

Efficient PRM Training Data Synthesis via Formal Verification
by: Kamoi, Ryo, et al.
Published: (2025)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
by: Esposito, Andrea, et al.
Published: (2025)

Formal Verification of Plasma-Mediated N₂ Fixation — Viridis Applied Proofs Series 1
by: Hart, Justin
Published: (2026)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
by: Erfan, Md, et al.
Published: (2026)

Visualisation and Automated Formal Verification of TOSCA Workflows
by: Ouadie Khebbeb, et al.
Published: (2026)

Using LLMs to Facilitate Formal Verification of RTL
by: Orenes-Vera, Marcelo, et al.
Published: (2023)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
by: Burgio, Paolo, et al.
Published: (2024)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
by: Chevalier, Samuel, et al.
Published: (2024)

Formal Verification of Markov Processes with Learned Parameters
by: Maaz, Muhammad, et al.
Published: (2025)

Cross--layer Formal Verification of Robotic Systems
by: Raïs, Sylvain, et al.
Published: (2024)

Saarthi: The First AI Formal Verification Engineer
by: Kumar, Aman, et al.
Published: (2025)

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)