Buchumschlag

A SCADE Model Verification Method Based on B-Model Transformation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hou, Xili, Wang, Keming, Zhao, Huibing, Shi, Ruiyin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Formal Languages and Automata Theory Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Note on Runtime Verification of Concurrent Systems
von: Leucker, Martin
Veröffentlicht: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
von: Ferrando, Angelo, et al.
Veröffentlicht: (2024)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
von: Yan, Fang, et al.
Veröffentlicht: (2026)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
von: Endrullis, Jörg, et al.
Veröffentlicht: (2025)

Proceedings 16th International Workshop on Graph Computation Models
von: Lambers, Leen, et al.
Veröffentlicht: (2026)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
von: Etumi, Mahdi, et al.
Veröffentlicht: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
von: Ang, Zhendong, et al.
Veröffentlicht: (2025)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
von: Chu, Simon, et al.
Veröffentlicht: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
von: Basile, Davide
Veröffentlicht: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
von: Abreu, Francisco, et al.
Veröffentlicht: (2025)

Recomposition: A New Technique for Efficient Compositional Verification
von: Dardik, Ian, et al.
Veröffentlicht: (2024)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
von: Chen, Yu-Fang, et al.
Veröffentlicht: (2024)

Contract Based Program Models for Software Model Checking
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

Parameterized Verification of Quantum Circuits (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
von: Bollig, Benedikt
Veröffentlicht: (2026)

MightyPPL: Verification of MITL with Past and Pnueli Modalities
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2025)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
von: Tsai, Wei-Lun, et al.
Veröffentlicht: (2026)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
von: Zameni, Tannaz, et al.
Veröffentlicht: (2026)

Can ChatGPT support software verification?
von: Janßen, Christian, et al.
Veröffentlicht: (2023)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
von: Besset, Antoine, et al.
Veröffentlicht: (2025)

On the Impact of the Communication Model on Realisability
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

Synthesis and Verification of Transformer Programs (Technical Report)
von: Jiang, Hongjian, et al.
Veröffentlicht: (2026)

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

Learning Verified Monitors for Hidden Markov Models
von: van der Maas, Luko, et al.
Veröffentlicht: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

Model Checking Temporal Properties of Recursive Probabilistic Programs
von: Winkler, Tobias, et al.
Veröffentlicht: (2021)

DTMC Model Checking by Path Abstraction Revisited (extended version)
von: Hartmanns, Arnd, et al.
Veröffentlicht: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
von: van Spaendonck, P. H. M.
Veröffentlicht: (2024)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
von: Li, Junle, et al.
Veröffentlicht: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
von: Fang, Yue, et al.
Veröffentlicht: (2026)

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

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
von: Winter, Sarah, et al.
Veröffentlicht: (2024)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
von: Bueri, Lucas, et al.
Veröffentlicht: (2024)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
von: Li, Shuo, et al.
Veröffentlicht: (2023)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
von: Winter, Sarah, et al.
Veröffentlicht: (2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
von: Jiang, Hongjian, et al.
Veröffentlicht: (2025)

Generalised Quantifiers Based on Rabin-Mostowski Index
von: Kuperberg, Denis, et al.
Veröffentlicht: (2026)