Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

DOI10.1007/978-3-540-88387-6_5MaRDI QIDQ3540062zbMATH OpenOpenAlexFDO

Authors Gal Katz, Doron Peled

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)

Recommendations

• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• COMBINING GENETIC PROGRAMMING AND MODEL-DRIVEN DEVELOPMENT
• Hoare logic-based genetic programming
• scientific article; zbMATH DE number 2086319
• Combining model finder and genetic programming into a general purpose automatic program synthesizer

Cites work

• An axiomatic basis for computer programming
• Arbitration without common modifiable variables
• Depth-First Search and Linear Graph Algorithms
• Discriminative Model Checking
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 795587 (Why is no real title available?)
• scientific article; zbMATH DE number 795588 (Why is no real title available?)
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
• Optimization by simulated annealing

Cited in

(5)

• Automatic synthesis of data-flow analyzers
• scientific article; zbMATH DE number 2086319 (Why is no real title available?)
• COMBINING GENETIC PROGRAMMING AND MODEL-DRIVEN DEVELOPMENT
• Hoare logic-based genetic programming
• Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

Describes a project that uses

Uses Software

• CESAR
• MCGP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540062)