EXTENDED PMD is a methodology for detecting communication- and concurrency-related errors in CSP-based languages. A static analysis of the source program is used to build a model which is augmented with dynamic information from a dedicated hardware monitor. These information allow a post-mortem analysis of the program with automatic detection of errors. EXTENDED PMD has been applied to Joyce[1], a semantic variant of CSP based on a subset of common Pascal.
CITATION STYLE
Arvind, D. K., & Knight, J. (1992). Detection of concurrency-related errors in Joyce. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 634 LNCS, pp. 127–132). Springer Verlag. https://doi.org/10.1007/3-540-55895-0_407
Mendeley helps you to discover research relevant for your work.