Cover Image

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bandyopadhyay, Soumyadip, Sarkar, Santonu
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Symbolic Computation 68 D.3.1; D.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
by: Lucio, Levi
Published: (2026)

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

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2025)

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

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

QuickCheck for VDM
by: Battle, Nick, et al.
Published: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
by: Amusuo, Paschal C., et al.
Published: (2024)

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

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

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2026)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

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

Contract-based Verification of Digital Twins
by: Naeem, Muhammad, et al.
Published: (2025)

Mechanizing Operads with Event-B
by: Attiogbé, Christian
Published: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

Quantifying Confidence in Assurance 2.0 Arguments
by: Bloomfield, Robin, et al.
Published: (2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

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

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
by: Lahiri, Shuvendu K.
Published: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

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

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

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
by: Amusuo, Paschal C., et al.
Published: (2025)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

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

Rethinking Software Empirical Studies with Structural Causal Models
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
by: Pombo, Carlos G. Lopez, et al.
Published: (2023)

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
by: Borysenkov, Dmytro, et al.
Published: (2024)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
by: Jana, Prithwish, et al.
Published: (2026)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

An Algebraic Approach to Weighted Answer-set Programming
by: Coelho, Francisco, et al.
Published: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
by: Huisman, Marieke, et al.
Published: (2020)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, 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)