Program Dependence Net and on-demand slicing for property verification of concurrent system and software
Z Ding, S Li, C Chen, C He - Journal of Systems and Software, 2025 - Elsevier
When checking concurrent software using a finite-state model, we face a formidable state
explosion problem. One solution to this problem is dependence-based program slicing …
explosion problem. One solution to this problem is dependence-based program slicing …
[HTML][HTML] Efficient computation of minimal weak and strong control closure
AN Masud - Journal of Systems and Software, 2022 - Elsevier
Control dependency is a fundamental concept in many program analyses, transformation,
parallelization, and compiler optimization techniques. An overwhelming number of …
parallelization, and compiler optimization techniques. An overwhelming number of …
[PDF][PDF] May-Happen-in-Parallel Analysis for Slicing of Parallel Programs
J Sedláček - 2024 - is.muni.cz
This thesis presents an overview of may-happen-in-parallel analysis in the context of static
program slicing. We explain the concepts of static program slicing and may-happen-in …
program slicing. We explain the concepts of static program slicing and may-happen-in …
[PDF][PDF] Û¡¢£¤¥¦ § ª «¬ Ʊ²³µ· ¹º» ¼½¾¿ Ý ÄÜß
M Chalupa - 2021 - is.muni.cz
There are many formal methods for proving or disproving various properties of programs
(eg, that all assertions in a program hold). One such method is symbolic execution that …
(eg, that all assertions in a program hold). One such method is symbolic execution that …