Work

A Framework for Verifying BPMN with Hoare Logic

Year: 2025

Type: conference-paper

Source: IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)

DOI: 10.1109/qrs-c65679.2025.00020

Authors: Wei Lin, Sini Chen, Huibiao Zhu

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

Funder: National Key Research and Development Program of China

OpenAlex ID: W4415744236

FWCI:

Cites: 21

Cited by:

Related to: 9