Image de couverture de livre

Open-World Assertion Checking for Smart Contracts via Game Semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Operational Semantics for Yul
par: Koutavas, Vasileios, et autres
Publié: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
par: King, Daragh, et autres
Publié: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
par: Xu, Ziyun, et autres
Publié: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
par: Kong, Ziqiao, et autres
Publié: (2025)

Detecting Buggy Contracts via Smart Testing
par: Wang, Sally Junsong, et autres
Publié: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
par: Ho, Son, et autres
Publié: (2024)

Constructing Trustworthy Smart Contracts
par: Chait-Roth, Devora, et autres
Publié: (2024)

A Logic For Fresh Labelled Transition Systems
par: Bandukara, Mohamed H, et autres
Publié: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
par: Wang, Sally Junsong, et autres
Publié: (2024)

Bisimilarity in fresh-register automata
par: Murawski, Andrzej S., et autres
Publié: (2020)

Smart Contract Languages: a comparative analysis
par: Bartoletti, Massimo, et autres
Publié: (2024)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
par: Selabi, Elvis Konjoh, et autres
Publié: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
par: Chen, Zhiyang, et autres
Publié: (2024)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
par: Cho, Hyunhum, et autres
Publié: (2026)

SoliDiffy: AST Differencing for Solidity Smart Contracts
par: Eshghie, Mojtaba, et autres
Publié: (2024)

Gradual Verification for Smart Contracts
par: Sun, Haojia, et autres
Publié: (2023)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
par: Singhvi, Arnav, et autres
Publié: (2023)

Demystifying Invariant Effectiveness for Securing Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
par: Ball, Thomas, et autres
Publié: (2024)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
par: Smaragdakis, Yannis, et autres
Publié: (2025)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
par: Yao, Siqiu, et autres
Publié: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
par: Wei, Anjiang, et autres
Publié: (2025)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
par: Liang, Eric
Publié: (2026)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
par: Yin, Jiaqi, et autres
Publié: (2025)

Run-Time Assertion Checking with Énfasis
par: José Oscar Olmedo Aguirre
Publié: (2010)

Foundational Verification of Smart Contracts through Verified Compilation
par: Sjöberg, Vilhelm, et autres
Publié: (2024)

Checking Consistency of Event-driven Traces
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Equivalence Checking of ML GPU Kernels
par: Dubey, Kshitij, et autres
Publié: (2025)

Handling Scope Checks (Extended Version)
par: Lee, Michael, et autres
Publié: (2026)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
par: Su, Yuheng, et autres
Publié: (2026)

Disentangling Parallelism and Interference in Game Semantics
par: Castellan, Simon, et autres
Publié: (2021)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
par: Gollamudi, Tarakaram, et autres
Publié: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
par: Fu, Zhoulai, et autres
Publié: (2025)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
par: Enea, Constantin, et autres
Publié: (2026)

Software Model Checking via Summary-Guided Search (Extended Version)
par: Fang, Ruijie, et autres
Publié: (2025)

Practical Type-Based Taint Checking and Inference (Extended Version)
par: Karimipour, Nima, et autres
Publié: (2025)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
par: Wong, Lionel, et autres
Publié: (2025)