Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

DOI10.1007/978-3-540-88387-6_5zbMath1183.68376OpenAlexW1552798917MaRDI QIDQ3540062

Doron A. Peled, Gal Katz

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Automatic synthesis of data-flow analyzers

Uses Software

• MCGP
• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimization by Simulated Annealing
• Arbitration without common modifiable variables
• Discriminative Model Checking
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• An axiomatic basis for computer programming
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms