Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

DOI10.1007/978-3-540-78800-3_11MaRDI QIDQ5458325zbMATH OpenOpenAlexFDO

Authors Gal Katz, Doron Peled

Publication date 11 April 2008

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78800-3_11

Mathematics Subject Classification ID

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

Recommendations

• Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
• Hoare logic-based genetic programming
• scientific article; zbMATH DE number 2087204
• COMBINING GENETIC PROGRAMMING AND MODEL-DRIVEN DEVELOPMENT
• Model checking, testing and verification working together

Cites work

• scientific article; zbMATH DE number 3972842 (Why is no real title available?)
• scientific article; zbMATH DE number 2080066 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 795587 (Why is no real title available?)
• Bounds on shared memory for mutual exclusion
• Model checking of safety properties
• Reasoning about infinite computations
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(5)

• On the roles of semantic locality of crossover in genetic programming
• Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
• A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
• Discriminative Model Checking
• Hoare logic-based genetic programming

Describes a project that uses

Uses Software

• MCGP
• PRISM

This page was built for publication: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

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