Cover Image

Formal Verification of Isothermal Chemical Reactors

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feyzishendi, Parivash, Hamer, Sophia, Huang, Jinyu, Josephson, Tyler R.
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LeanBET: Formally-verified surface area calculations in Lean
by: Ugwuanyi, Ejike D., et al.
Published: (2026)

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

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

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

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

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
by: Yang, Ziyi, et al.
Published: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)

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

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
by: Coglio, Alessandro, et al.
Published: (2025)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
by: Choton, Jahid Chowdhury, et al.
Published: (2024)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
by: Cristiá, Maximiliano, et al.
Published: (2025)

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

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Formal Verification of Probing Security via Conditional Independence
by: Kura, Satoshi, et al.
Published: (2026)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
by: Beers, Adrian, et al.
Published: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
by: Kaufmann, Daniela, et al.
Published: (2024)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
by: Altuntas, Alper, et al.
Published: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Smart Contracts Formal Verification: A Systematic Literature Review
by: Davila, Rene, et al.
Published: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

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

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
by: Ukhanov, Evgeny
Published: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
by: Chen, Chen, et al.
Published: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
by: Dantas, Pierre, et al.
Published: (2026)

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

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

A Neurosymbolic Approach to Natural Language Formalization and Verification
by: Bayless, Sam, et al.
Published: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
by: Lopez-Miguel, Ignacio D., et al.
Published: (2025)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)