Detecting temporal logic predicates on distributed computations

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

Volumn 4731 LNCS, Issue , 2007, Pages 420-434

  Ogale, Vinit A ^a   Garg, Vijay K ^a  

^a The University of Texas at Austin

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA PROCESSING; POLYNOMIALS; TEMPORAL LOGIC;

BASIC TEMPORAL LOGIC; DISTRIBUTED PROGRAMS; OFFLINE TRACES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 38049084040     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75142-7_32     Document Type: Conference Paper

References (24)

1. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558-565 (1978)
2. Stoller, S.D., Schneider, F.B.: Faster possibility detection by combining two approaches. In: Proc. of the 9th International Workshop on Distributed Algorithms, Le Mont-Saint-Michel, France, pp. 318-332. Springer, Heidelberg (1995)
3. Garg, V.K.: Elements of Distributed Computing. Wiley & Sons, Chichester (2002)
4. McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)
5. Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol. 1032. Springer, Heidelberg (1996)
6. Valmari, A.: A stubborn attack on state explosion. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol. 531, pp. 156-165. Springer, Heidelberg (1991)
7. Peled, D.: All from one, one for all: On model checking using representatives. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 409-423. Springer, Heidelberg (1993)
8. Stoller, S.D., Unnikrishnan, L., Liu, Y.A.: Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 264-279. Springer, Heidelberg (2000)
9. Stoller, S.D., Liu, Y.: Efficient symbolic detection of global properties in distributed systems. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 264-279. Springer, Heidelberg (2000)
10. Esparza, J.: Model checking using net unfoldings. Science Of Computer Programming 23(2), 151-195 (1994)
11. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs, Workshop, London, UK, pp. 52-71. Springer, Heidelberg (1982)
12. Holzmann, G.: The model checker SPIN. IEEE transactions on software engineering 23(5), 279-295 (1997)
13. Sen, A., Garg, V.K.: Partial order trace analyzer (POTA) for distributed programs. In: Proceedings of the Third International Workshop on Runtime Verification (RV) (2003)
14. Mittal, N., Garg, V.K.: Slicing a distributed computation: Techniques and theory. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol. 2180, pp. 78-92. Springer, Heidelberg (2001)
15. Drusinsky, D.: The temporal rover and the ATG rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN Model Checking and Software Verification. LNCS, vol. 1885, pp. 323-330. Springer, Heidelberg (2000)
16. Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: A runtime assurance tool for Java programs. In: Runtime Verification 2001. ENTCS, vol. 55 (2001)
17. Havelund, K., Rosu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification 2001. ENTCS, vol. 55 (2001)
18. Sen, K., Rosu, G., Agha, G.: Detecting errors in multithreaded programs by generalized predictive analysis of executions. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, Springer, Heidelberg (2005)
19. Holzmann, G.: The Spin Model Checker. Addison-Wesley Professional, Reading (2003)
20. Sen, A., Garg, V.K.: Detecting temporal logic predicates in distributed programs using computation slicing. In: 7th International Conference on Principles of Distributed Systems (2003)
21. Ogale, V., Garg, V.K.: Predicate detection. In: Technical report TR-PDS-2007-001 (2007), available at http://maple.ece.utexas.edu/TechReports/ 2007/TR-PDS-2007-001.ps
22. Davey, BA., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK (1990)
23. Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems 3(1), 63-75 (1985)
24. Hartley, S.: Concurrent Programming: The Java Programming Language. Oxford University Press, Oxford (1998)