Genetic programming and model checking: Synthesizing new mutual exclusion algorithms

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

Volumn 5311 LNCS, Issue , 2008, Pages 33-47

  Katz, Gal ^a   Peled, Doron ^a  

^a BAR ILAN UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

GENETIC ALGORITHMS; GENETIC PROGRAMMING;

CORRECT SOLUTION; GENETIC PROCESS; MUTUAL EXCLUSION ALGORITHMS; PERFORMANCE REQUIREMENTS;

MODEL CHECKING;

EID: 56749153724     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88387-6_5     Document Type: Conference Paper

References (20)

1. Emerson, E.A., Clarke, E.M.: Characterizing correctness properties of parallel programs using fixpoints. In: ICALP. pp. 169-181 (1980)
2. Floyd, R.: Assigning meaning to programs. In: American Mathematical Society symposium on Applied Mathematics, vol. 19, pp. 19-31 (1967)
3. Gerth, R., Peled, D., Vardi, M., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Protocol Specification testing and Verification, pp. 3-18 (1995)
4. Hoare, CA.R.: An axiomatic basis for computer programming. Communication of the ACM 12. 576-583 (1969)
5. Holland, J.H.: Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence. MIT Press, Cambridge (1992)
6. Johnson, C.G.: Genetic programming with fitness based on model checking. In: Ebner, M.. O'Neill. M., Ekárt. A., Vanneschi. L., Esparcia-Alcázar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114-124. Springer. Heidelberg (2007)
7. Katz, G., Peled, D.: Model checking-based genetic programming with an application to mutual exclusion. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 141-156. Springer, Heidelberg (2008)
8. Kessels, J.L.W.: Arbitration without common modifiable variables. Acta Inf. 17, 135-141 (1982)
9. Kirkpatrick Jr., S., Gelatt, D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671-680 (1983)
10. Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)
11. Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, Cambridge (1994)
12. Kupferman, O., Vardi, M.: Memoryfull branching-time logic. In: Logic in Computer Science, pp. 265-274 (2006)
13. Montana, D.J.: Strongly typed genetic programming. Evolutionary Computation 3(2), 199-230 (1995)
14. Niebert, P., Peled, D., Pnueli, A.: Discriminative model checking. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 504-516. Springer, Heidelberg (2008)
15. Peterson, F.: Economical solutions to the critical section problem in a distributed system. In: STOC: ACM Symposium on Theory of Computing (STOC) (1977)
16. Pnueli, A., Rosner, R.: On the synthesis of reactive systems. In: POPL, Austin, Texas, pp. 179-190 (1989)
17. Quielle, J.P., Sifakis, J.: Specification and verification of concurrent systems in cesar. In: 5th International Symposium on Programming, pp. 337-350 (1981)
18. Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146-160 (1972)
19. Taubenfeld, G.: Synchronization Algorithms and Concurrent Programming. Prentice-Hall, Inc., Upper Saddle River (2006)
20. Tsay, Y.K.: Deriving a scalable algorithm for mutual exclusion. In: Kutten, S. (ed.) DISC 1998. LNCS, vol. 1499, pp. 393-407. Springer, Heidelberg (1998)