Filters








6 Hits in 2.9 sec

The MEB and CEB Static Analysis for CSP Specifications [chapter]

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2009 Lecture Notes in Computer Science  
This work presents a static analysis technique based on program slicing for CSP specifications.  ...  Given a particular event in a CSP specification, our technique allows us to know what parts of the specification must necessarily be executed before this event, and what parts of the specification could  ...  Implementation We have implemented the MEB and CEB analyses and the algorithm to build the CSCFG for ProB.  ... 
doi:10.1007/978-3-642-00515-2_8 fatcat:tifzszb7c5aq5fewjtgt4yhi2u

SOC

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2008 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09  
This paper describes SOC, a program slicer for CSP specifications.  ...  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.  ...  Table 1 summarizes the time spent to generate the compacted CSCFG (this includes the generation plus the compaction phases), to produce the MEB and CEB slices (since CEB analysis uses MEB analysis, CEB's  ... 
doi:10.1145/1480945.1480969 dblp:conf/pepm/LeuschelLOST09 fatcat:6kbok2g2pnf2bfxcsqvgobrcbe

Static slicing of explicitly synchronized languages

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
2012 Information and Computation  
In this work we introduce a static analysis technique based on program slicing for concurrent and explicitly synchronized languages in general, and CSP in particular.  ...  Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes.  ...  CEB analysis uses MEB analysis, CEB's time corresponds only to the time spent after performing the MEB analysis), and the total time.  ... 
doi:10.1016/j.ic.2012.02.005 fatcat:koikqgvzjjdplkleofwegppyli

An algorithm to generate the context-sensitive synchronized control flow graph

M. Llorens, J. Oliver, J. Silva, S. Tamarit
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components.  ...  To overcome this problem, there has been a recent proposal that allows to statically simplify a specification before the analyses.  ...  In fact, there are already defined and implemented analysis methods based on the CSCFG. See, for instance, the MEB and CEB analyses [8] .  ... 
doi:10.1145/1774088.1774539 dblp:conf/sac/LlorensOST10 fatcat:b5xea4jnfzhzpftz2a5qghexo4

Analytical Inductive Functional Programming [chapter]

Emanuel Kitzelmann
2009 Lecture Notes in Computer Science  
Acknowledgements We thank the LOPSTR'2008 referees for helpful comments and suggestions.  ...  Acknowledgement The author would like to thank anonymous reviewers for their constructive and useful comments on the previous version of the paper.  ...  This example is twofold: on the one hand, it shows that the SCFG could be used for static slicing of CSP specifications.  ... 
doi:10.1007/978-3-642-00515-2_7 fatcat:r3xkzawlibfcpluopvlz7ukp4y

Editorial message for the special track on embedded systems

Alessio Bechini, François Bodin, Cosimo Antonio Prete
2005 Proceedings of the 2005 ACM symposium on Applied computing - SAC '05  
Acknowledgments We would like to extend our gratitude to the submitting authors for their contributions to the track, and to the members of the Program Committee for the high quality of their technical  ...  We extend our special thanks to the authors for providing many high-quality submissions, and the program committee and evaluators who ensured the selection of the best papers.  ...  This simplification allows the time needed by CEB and MEB static analyses to be shortened for CSP specifications. A simple algorithm generating CSCFG is also formally described. 5. Eduardo R.  ... 
doi:10.1145/1066677.1066869 dblp:conf/sac/BechiniBP05 fatcat:tggnuougwzbehkpg7je6ulhf3y