Cover Image

Contract-based Verification of Digital Twins

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Naeem, Muhammad, Seceleanu, Cristina
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Formal Languages and Automata Theory 68N30, 68Q60 D.2.4; D.2.1; F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
by: Rumpe, Bernhard, et al.
Published: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
by: Diekert, Volker, et al.
Published: (2019)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)

New Fault Domains for Conformance Testing of Finite State Machines
by: Vaandrager, Frits, et al.
Published: (2024)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
by: Pellen, Bram, et al.
Published: (2025)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
by: Arefin, Mohammad Rifat, et al.
Published: (2025)

Validation of an analyzability model for quantum software: a family of experiments
by: Díaz-Muñoz, Ana, et al.
Published: (2026)

Flavors of Quantifiers in Hyperlogics
by: Chalupa, Marek, et al.
Published: (2025)

Parameterized Verification of Timed Networks with Clock Invariants
by: André, Étienne, et al.
Published: (2024)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Computing Inductive Invariants of Regular Abstraction Frameworks
by: Czerner, Philipp, et al.
Published: (2024)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
by: Ye, Kangfeng, et al.
Published: (2024)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
by: Heemstra, Jan, et al.
Published: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
by: Radosky, Lukas, et al.
Published: (2026)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
by: Bandyopadhyay, Soumyadip, et al.
Published: (2025)

Walking on Words
by: Pratt-Hartmann, Ian
Published: (2022)

Languages of Words of Low Automatic Complexity Are Hard to Compute
by: Chen, Joey, et al.
Published: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
by: Bowen, Jonathan P., et al.
Published: (2026)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
by: Mammadov, Tural, et al.
Published: (2024)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

Decision Problems on Copying and Shuffling
by: Halava, Vesa, et al.
Published: (2023)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
by: López-Rubio, Ezequiel
Published: (2026)