Cover Image

Re-evaluation of Logical Specification in Behavioural Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Klimek, Radoslaw, Semczyszyn, Jakub
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values
by: Klimek, Radoslaw, et al.
Published: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
by: Klimek, Radoslaw
Published: (2025)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
by: Zhang, Yuanrui
Published: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
by: Przymus, Piotr, et al.
Published: (2025)

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

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

Natural Language based Specification and Verification
by: Li, Zhaorui, et al.
Published: (2026)

ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
by: Jin, Yiyang, et al.
Published: (2025)

Efficient Prime Paths Generation
by: Zelek, Jakub, et al.
Published: (2026)

Cost-Effective Big Data Orchestration Using Dagster: A Multi-Platform Approach
by: Picatto, Hernan, et al.
Published: (2024)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Understanding and Evaluating Developer Behaviour in Programming Tasks
by: Schröer, Martin, et al.
Published: (2024)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
by: Granberry, George, et al.
Published: (2025)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
by: Elboher, Yizhak Y., et al.
Published: (2026)

Multi-Grained Specifications for Distributed System Model Checking and Verification
by: Ouyang, Lingzhi, et al.
Published: (2024)

Behaviour Driven Development Scenario Generation with Large Language Models
by: Rathnayake, Amila, et al.
Published: (2026)

Safety Verification and Optimization in Industrial Drive Systems
by: Hasrat, Imran Riaz, et al.
Published: (2025)

Challenges of Virtual Validation and Verification for Automotive Functions
by: Cabrero-Daniel, Beatriz, et al.
Published: (2025)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

Adventures in FRET and Specification
by: Farrell, Marie, et al.
Published: (2025)

Toward an Understanding of Developer Behaviour while Using Bug Localization Tools
by: Pedreira, Pablo Diaz, et al.
Published: (2026)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
by: Kräuter, Tim, et al.
Published: (2025)

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

An Efficient VCGen-based Modular Verification of Relational Properties
by: Blatter, Lionel, et al.
Published: (2024)

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

Verification of Quantitative Temporal Properties in RealTime-DEVS
by: González, Ariel, et al.
Published: (2024)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)