Buchumschlag

Verification of Quantitative Temporal Properties in RealTime-DEVS

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	González, Ariel, Cristiá, Maximiliano, Luna, Carlos
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From B Specifications to $\{log$\}$ Forgrams
von: Cristiá, Maximiliano
Veröffentlicht: (2024)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2021)

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
von: Risco-Martín, José L., et al.
Veröffentlicht: (2024)

Reusability and Modifiability in Robotics Software (Extended Version)
von: Pomponio, Laura, et al.
Veröffentlicht: (2024)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
von: Mittal, Saurabh, et al.
Veröffentlicht: (2024)

An Efficient VCGen-based Modular Verification of Relational Properties
von: Blatter, Lionel, et al.
Veröffentlicht: (2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
von: Kräuter, Tim, et al.
Veröffentlicht: (2025)

Trace Diagnostics for Signal-based Temporal Properties
von: Boufaied, Chaima, et al.
Veröffentlicht: (2022)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
von: Ma, Lezhi, et al.
Veröffentlicht: (2026)

Distributed Monitoring of Timed Properties
von: Henry, Léo, et al.
Veröffentlicht: (2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
von: Cai, Luwei, et al.
Veröffentlicht: (2024)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
von: Murray, Yvonne, et al.
Veröffentlicht: (2024)

Real-Time Toxicity Filtering for Open-Source Code Reviews
von: Anindya, Md Awsaf Alam, et al.
Veröffentlicht: (2026)

Lemma Discovery in Agentic Program Verification
von: Zhao, Huan, et al.
Veröffentlicht: (2026)

Selene: Pioneering Automated Proof in Software Verification
von: Zhang, Lichen, et al.
Veröffentlicht: (2024)

Formal Verification of Consistency for Systems with Redundant Controllers
von: Johansson, Bjarne, et al.
Veröffentlicht: (2024)

Combining Tests and Proofs for Better Software Verification
von: Huang, Li, et al.
Veröffentlicht: (2026)

Safety Verification and Optimization in Industrial Drive Systems
von: Hasrat, Imran Riaz, et al.
Veröffentlicht: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Challenges of Virtual Validation and Verification for Automotive Functions
von: Cabrero-Daniel, Beatriz, et al.
Veröffentlicht: (2025)

Oops!... I did it again. Conclusion (In-)Stability in Quantitative Empirical Software Engineering: A Large-Scale Analysis
von: Hoess, Nicole, et al.
Veröffentlicht: (2025)

SemGuard: Real-Time Semantic Evaluator for Correcting LLM-Generated Code
von: Wang, Qinglin, et al.
Veröffentlicht: (2025)

Automating Execution and Verification of BPMN+DMN Business Processes
von: Della Penna, Giuseppe, et al.
Veröffentlicht: (2025)

Scalable Deductive Verification of Data-Level Parallel Programs
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2026)

ProofWright: Towards Agentic Formal Verification of CUDA
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2025)

From Verification to Herding: Exploiting Software's Sparsity of Influence
von: Menzies, Tim, et al.
Veröffentlicht: (2026)

ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering
von: Anindya, MD Awsaf Alam, et al.
Veröffentlicht: (2026)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Using Assurance Cases to Guide Verification and Validation of Research Software
von: Smith, W. Spencer, et al.
Veröffentlicht: (2024)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
von: Sousa, Tiago, et al.
Veröffentlicht: (2024)

How We Built Cedar: A Verification-Guided Approach
von: Disselkoen, Craig, et al.
Veröffentlicht: (2024)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
von: Wang, Changjie, et al.
Veröffentlicht: (2025)

A Case Study on Model Checking and Runtime Verification for Awkernel
von: Hasegawa, Akira, et al.
Veröffentlicht: (2025)

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
von: Zou, Yanzhen, et al.
Veröffentlicht: (2025)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
von: Abdeen, Waleed, et al.
Veröffentlicht: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2026)

Development of a Real-Time Simulator Using EMTP-ATP Foreign models for Testing Relays
von: Fabian, Renzo, et al.
Veröffentlicht: (2024)

CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging
von: Khan, Mushahid, et al.
Veröffentlicht: (2025)