Program Verification Techniques Based on the Abstract Interpretation Theory

DOI10.3724/SP.J.1001.2008.00017MaRDI QIDQ4823877zbMATH OpenFDO

Authors Huifang Li, Yushun Fan

Publication date 28 October 2004

Published in Journal of Software (Search for Journal in Brave)

zbMATH Keywords

TCWF-netstime consistency verification method

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 5263442
• Modelling and evaluation of time aspects in business processes
• scientific article; zbMATH DE number 1948940
• scientific article; zbMATH DE number 2112344
• On soundness for time workflow nets

Cited in

(10)

• scientific article; zbMATH DE number 1948940 (Why is no real title available?)
• Temporal conflict in workflow schemas
• scientific article; zbMATH DE number 2112344 (Why is no real title available?)
• Modelling and evaluation of time aspects in business processes
• Extracting the workflow critical path from the extended well-formed workflow schema
• scientific article; zbMATH DE number 5263442 (Why is no real title available?)
• Determining best-case and worst-case times of unknown paths in time workflow nets
• Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
• Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)
• scientific article; zbMATH DE number 1747796 (Why is no real title available?)

This page was built for publication: Program Verification Techniques Based on the Abstract Interpretation Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4823877)