Imagen de Portada

Comprehensive Verification of Packet Processing

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Shengyi, Pan, Mengying, Appel, Andrew W.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages F.3.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Foundational Verification of Smart Contracts through Verified Compilation
por: Sjöberg, Vilhelm, et al.
Publicado: (2024)

Unified Fairness for Weak Memory Verification
por: Abdulla, Parosh Aziz, et al.
Publicado: (2023)

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

TensorRight: Automated Verification of Tensor Graph Rewrites
por: Arora, Jai, et al.
Publicado: (2025)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
por: Appel, Andrew W.
Publicado: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
por: Baier, Daniel, et al.
Publicado: (2024)

Forall-Exists Relational Verification by Filtering to Forall-Forall
por: Nagasamudram, Ramana, et al.
Publicado: (2025)

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
por: Verter, Jan Liam, et al.
Publicado: (2024)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
por: Wang, Peixin, et al.
Publicado: (2025)

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
por: Hirata, Kengo, et al.
Publicado: (2024)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
por: Siek, Jeremy G.
Publicado: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
por: Accattoli, Beniamino, et al.
Publicado: (2025)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
por: Xu, Qiyuan, et al.
Publicado: (2024)

Weak Memory Model Formalisms: Introduction and Survey
por: Su, Roger C., et al.
Publicado: (2025)

Homomorphism Calculus for User-Defined Aggregations
por: Wang, Ziteng, et al.
Publicado: (2025)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
por: Wu, Hao, et al.
Publicado: (2023)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
por: Beyer, Dirk, et al.
Publicado: (2022)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
por: Zhou, Zhe, et al.
Publicado: (2024)

Derivative-Guided Symbolic Execution
por: Yuan, Yongwei, et al.
Publicado: (2024)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
por: Smith, Ian
Publicado: (2024)

Globality and Regions
por: Gramaglia, Hector
Publicado: (2025)

Simple Modal Types for Functional Reactive Programming
por: Bahr, Patrick
Publicado: (2025)

Practical Algebraic Stepping with Scoped Filters
por: Fei, Haoxiang, et al.
Publicado: (2026)

Scoped and Typed Staging by Evaluation
por: Allais, Guillaume
Publicado: (2023)

On the Decidability of Verification under Release/Acquire
por: Conrado, Giovanna Kobus, et al.
Publicado: (2026)

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
por: Wu, Huiling, et al.
Publicado: (2023)

Stratified Type Theory
por: Chan, Jonathan, et al.
Publicado: (2023)

MoXIchecker: An Extensible Model Checker for MoXI
por: Ates, Salih, et al.
Publicado: (2024)

Explicit Weakening
por: Wadler, Philip
Publicado: (2024)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
por: Grabmayer, Clemens, et al.
Publicado: (2025)

LeanLTL: A unifying framework for linear temporal logics in Lean
por: Vin, Eric, et al.
Publicado: (2025)

A New Interaction Concept for Interactive and Autoactive Program Verification
por: Pfeifer, Wolfram, et al.
Publicado: (2026)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
por: Bansal, Suguman, et al.
Publicado: (2025)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
por: Stassen, Philipp Jan Andries, et al.
Publicado: (2024)

Bayesian Separation Logic
por: Ho, Shing Hin, et al.
Publicado: (2025)

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
por: Xu, Xiong, et al.
Publicado: (2025)

Verifying Tree-Manipulating Programs via CHCs
por: Faella, Marco, et al.
Publicado: (2025)

Non-Numerical Weakly Relational Domains
por: Seidl, Helmut, et al.
Publicado: (2024)

Automating the Analysis of Parsing Algorithms (and other Dynamic Programs)
por: Vieira, Tim, et al.
Publicado: (2025)

Bottom-up computation using trees of sublists (Functional Pearl)
por: Mu, Shin-Cheng
Publicado: (2023)