Paper Info
Title
Reversing concurrent systems into formal specifications
Abstract
Many distributed systems are developed in traditional artistic manner. They neither have formal specifications nor the implementation are able to be reasoned or formally verified. As the number and importance of distributed systems are growing rapidly, we expect that there will be a demand of reversing these distributed systems back to formal descriptions in order to verify its correctness or to do maintenance. We discuss our experience in reversing process migration systems implemented in parallel C into CSP specifications. We reverse the program by mapping the corresponding semantic units from parallel C to CSP in step-wise reversion manner. We also discuss the problems we encountered
Year
DOI
Venue
1994
10.1109/APSEC.1994.465257
Tokyo
Keywords
Field
DocType
C language,communicating sequential processes,formal specification,parallel languages,parallel programming,reverse engineering,CSP,CSP specifications,concurrent systems reversal,correctness,distributed systems,formal descriptions,formal specifications,parallel C,process migration systems,semantic units,step-wise reversion manner
Programming language,Formal language,Computer science,Reverse engineering,Process migration,Correctness,Reversing,Communicating sequential processes,Real-time computing,Formal specification,Message passing
Conference
ISBN
Citations 
PageRank 
0-8186-6960-8
0
0.34
References 
Authors
3
2
Name
Order
Citations
PageRank
Karl R. P. H. Leung100.34
Clement F. S. Yim200.34