Genetic synthesis of concurrent code using model checking and statistical model checking

Mathematics

• Model Checking 100%
• Concurrent 97%
• Statistical Model 86%
• Synthesis 79%
• Genetic Programming 73%
• Fitness 59%
• Fitness Function 46%
• Specification 31%
• Selection Principles 25%
• Natural Selection 23%
• Heuristic Method 22%
• Deficiency 19%
• Mutation 17%
• Internal 14%
• Design 10%
• Performance 10%
• Model 5%

Engineering & Materials Science

• Model checking 93%
• Statistical Models 80%
• Genetic programming 61%
• Specifications 22%
• Heuristic methods 20%