Transformations for model checking distributed java programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2057 LNCS, Issue , 2001, Pages 192-199

  Stoller, Scott D ^a   Liu, Yanhong A ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE;

CRYPTOGRAPHIC OPERATIONS; DISTRIBUTED PROGRAM; LOCAL METHODS; MULTI-PROCESSES; MULTIPLE PROCESS; PROGRAM TRANSFORMATIONS; REMOTE METHOD INVOCATIONS; SINGLE PROCESS;

MODEL CHECKING;

EID: 84894631249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45139-0_12     Document Type: Conference Paper

References (12)

1. Guillaume Brat, Klaus Havelund, Seung-Joon Park, and Willem Visser. Model checking programs. In IEEE International Conference on Automated Software Engineering (ASE), September 2000.
2. A. D. Birrell and B. J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2:39-59, February 1984.
3. James C. Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng. Bandera: Extracting finitestate models from Java source code. In Proc. 22nd International Conference on Software Engineering (ICSE), June 2000.
4. Thomas Cormen, Charles Leiserson, and Ronald Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill, 1990.
5. Markus Dahm. Byte code engineering with the JavaClass API. Technical Report B-17-98, Institut für Informatik, Freie Universität Berlin, 1999. Available via http://www.inf.fu-berlin.de/~dahm/JavaClass
6. Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
7. Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. Workshop on Tools and Algorithms for The Construction and Analysis of Systems (TACAS), volume 1055 of Lecture Notes in Computer Science, pages 147-166. Springer-Verlag, 1996.
8. John C. Mitchell, Mark Mitchell, and Ulrich Stern. Automated analysis of cryptographic protocols using Murφ. In Proc. 18th IEEE Symposium on Research in Security and Privacy, pages 141-153. IEEE Computer Society Press, 1997.
9. Dahlia Malkhi and Michael Reiter. Secure and scalable replication in phalanx. In 17th IEEE Symposium on Reliable Distributed Systems (SRDS), pages 51-60, October 1998.
10. David Y.W. Park, Ulrich Stern, Jens U. Skakkebaek, and David L. Dill. Java model checking. In Proc. First International Workshop on Automated Program Analysis, Testing, and Verification, 2000.
11. Scott D. Stoller. Model-checking multi-threaded distributed Java programs. In Proc. 7th Int'l. SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science, pages 224-243. Springer-Verlag, August 2000.
12. John Whaley and Martin Rinard. Compositional pointer and escape analysis for Java programs. In Proc. ACM Conference on Object-Oriented Systems, Languages and Applications (OOPSLA), pages 187-206. ACM Press, October 1999. Appeared in ACM SIGPLAN Notices 34(10).