Static analysis of low-level synchronization
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Combining CSP and b for specification and property verification
FM'05 Proceedings of the 2005 international conference on Formal Methods
An algorithm to generate the context-sensitive synchronized control flow graph
Proceedings of the 2010 ACM Symposium on Applied Computing
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Graph generation to statically represent CSP processes
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Static slicing of explicitly synchronized languages
Information and Computation
Hi-index | 0.00 |
This paper describes SOC, a program slicer for CSP specifications. In order to increase the precision of program slicing, SOC uses a new data structure called Context-sensitive Synchronized Control Flow Graph (CSCFG). Given a CSP specification, SOC generates its associated CSCFG and produces from it two different kinds of slices; which correspond to two different static analyses. We present the tool's architecture, its main applications and the results obtained from experiments conducted in order to measure the performance of the tool.