Image de couverture de livre

Verified Parameterized Choreographies Technical Report

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rubbens, Robert, Bos, Petra van den, Huisman, Marieke
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

HaliVer: Deductive Verification and Scheduling Languages Join Forces
par: Haak, Lars B. van den, et autres
Publié: (2024)

Chorex: Restartable, Language-Integrated Choreographies
par: Wiersdorf, Ashton, et autres
Publié: (2025)

Ozone: Fully Out-of-Order Choreographies
par: Plyukhin, Dan, et autres
Publié: (2024)

Choreographies as Macros
par: Bohosian, Alexander, et autres
Publié: (2025)

Step in Tine: Forking Processes in Functional Choreographies
par: Samuelson, Ashley, et autres
Publié: (2026)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
par: Foo, Darius, et autres
Publié: (2023)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

Multiparty Session Typing, Embedded (Technical Report)
par: Jongmans, Sung-Shik
Publié: (2025)

Encoding Petri Nets into CCS (Technical Report)
par: Bogø, Benjamin, et autres
Publié: (2024)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
par: Zameni, Tannaz, et autres
Publié: (2026)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
par: Paraskevopoulou, Zoe
Publié: (2026)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
par: Giunti, Marco, et autres
Publié: (2025)

Crux, a Precise Verifier for Rust and Other Languages
par: Pernsteiner, Stuart, et autres
Publié: (2024)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
par: Wu, Jinhua, et autres
Publié: (2025)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
par: Wu, Jinhua, et autres
Publié: (2026)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
par: Jonáš, Martin, et autres
Publié: (2024)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
par: Jongmans, Sung-Shik
Publié: (2024)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
par: Goharshady, Amir K., et autres
Publié: (2026)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
par: Acay, Coşku, et autres
Publié: (2024)

Verified Code Transpilation with LLMs
par: Bhatia, Sahil, et autres
Publié: (2024)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
par: Yan, Pengbo, et autres
Publié: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
par: Barenbaum, Pablo, et autres
Publié: (2024)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
par: Heuvel, Bas van den, et autres
Publié: (2025)

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
par: Jamner, Dustin, et autres
Publié: (2025)

Automatically Verifying Replication-aware Linearizability
par: Soundarapandian, Vimala, et autres
Publié: (2025)

Kotlin ML Pack: Technical Report
par: Titov, Sergey, et autres
Publié: (2024)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
par: Pezeshkpour, Pouya, et autres
Publié: (2026)

NEST: Network Enforced Session Types (Technical Report)
par: Larsen, Jens Kanstrup, et autres
Publié: (2026)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
par: Chen, Yijia, et autres
Publié: (2024)

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
par: Eilers, Marco, et autres
Publié: (2024)

Verifying Sequential Consistency under Bounded Preemptions
par: Govind, R., et autres
Publié: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
par: Yang, Xiaoxiao, et autres
Publié: (2017)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
par: Hogan, Brendan R., et autres
Publié: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
par: Ren, Silei, et autres
Publié: (2025)

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

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
par: Briones, Laura Brandán, et autres
Publié: (2025)

Type-safe Monitoring of Parameterized Streams
par: Baumeister, Jan, et autres
Publié: (2026)