Sciweavers

Share
SPIN
2001
Springer

Transformations for Model Checking Distributed Java Programs

10 years 7 months ago
Transformations for Model Checking Distributed Java Programs
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs. The transformations combine multiple processes into a single process, replace remote method invocations (RMIs) with local method invocations that simulate RMIs, and replace cryptographic operations with symbolic counterparts.
Scott D. Stoller, Yanhong A. Liu
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SPIN
Authors Scott D. Stoller, Yanhong A. Liu
Comments (0)
books