Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
From MaRDI portal
Publication:3540062
DOI10.1007/978-3-540-88387-6_5zbMath1183.68376OpenAlexW1552798917MaRDI QIDQ3540062
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
Related Items (1)
Uses Software
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