Cover Image

Smart Casual Verification of the Confidential Consortium Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Howard, Heidi, Kuppe, Markus A., Ashton, Edward, Chamayou, Amaury, Crooks, Natacha
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On defining and modeling context-awareness
by: Rodis, Panteleimon
Published: (2026)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

Verifying Randomized Consensus Protocols with Common Coins
by: Gao, Song, et al.
Published: (2024)

State machines for large scale computer software and systems
by: Yodaiken, Victor
Published: (2016)

Population Protocols over Ordered Agents
by: Blondin, Michael, et al.
Published: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
by: Lossin, Benno, et al.
Published: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
by: Wang, Chao, et al.
Published: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
by: Kenwright, Logan, et al.
Published: (2024)

2-Coloring Cycles in One Round
by: Flin, Maxime, et al.
Published: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
by: Finkel, Alain, et al.
Published: (2017)

Complete Multiparty Session Type Projection with Automata
by: Li, Elaine, et al.
Published: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
by: Li, Elaine, et al.
Published: (2026)

Classification of Local Optimization Problems in Directed Cycles
by: Boudier, Thomas, et al.
Published: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
by: Coget, Isabelle, et al.
Published: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
by: Guillou, Lucie, et al.
Published: (2023)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
by: Hong, Chih-Duo, et al.
Published: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
by: Basile, Davide
Published: (2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
by: Bollig, Benedikt, et al.
Published: (2026)

Deciding Serializability in Network Systems
by: Amir, Guy, et al.
Published: (2026)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
by: Fang, Yue, et al.
Published: (2026)

Automata Learning -- Expect Delays!
by: Dengler, Gabriel, et al.
Published: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
by: Ndadji, Milliam Maxime Zekeng, et al.
Published: (2020)

Once and for all: how to compose modules -- The composition calculus
by: Fettke, Peter, et al.
Published: (2024)

Configuration Monitor Synthesis
by: Köhl, Maximilian A., et al.
Published: (2024)

Complete FSM Testing Using Strong Separability
by: Hierons, Robert M., et al.
Published: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
by: Faitelson, David, et al.
Published: (2025)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
by: van Spaendonck, P. H. M.
Published: (2024)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

Contract Based Program Models for Software Model Checking
by: Amilon, Jesper, et al.
Published: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
by: Zameni, Tannaz, et al.
Published: (2026)

Twinning automata and regular expressions for string static analysis
by: Negrini, Luca, et al.
Published: (2020)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
by: Eldin, Ali Nour, et al.
Published: (2025)

Decidability Issues for Petri Nets -- a survey
by: Esparza, Javier, et al.
Published: (2024)

Types for Grassroots Logic Programs
by: Shapiro, Ehud
Published: (2026)

A Note on Runtime Verification of Concurrent Systems
by: Leucker, Martin
Published: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
by: Ferrando, Angelo, et al.
Published: (2024)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
by: Lin, Yuanfei, et al.
Published: (2023)

LLM-based policy generation for intent-based management of applications
by: Dzeparoska, Kristina, et al.
Published: (2024)