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

Keyphrases

• Genetic Programming 100%
• Concurrent Code 100%
• Statistical Model Checking 100%
• Fitness Function 66%
• Order of Magnitude 33%
• Heuristic Method 33%
• Automatically Generate 33%
• Value-based 33%
• Natural Selection 33%
• Model Use 33%
• Selection Principles 33%
• Temporal Specification 33%
• Internal Model 33%
• Genetic Processes 33%
• Light Use 33%
• Invocation 33%
• Mode number 33%
• Apply Model 33%
• Model Checker 33%
• Probabilistic-based 33%
• Specification Property 33%
• Correct by Design 33%
• Fitness Value 33%

Computer Science

• Model Checking 100%
• Statistical Model 100%
• Genetic Programming 60%
• Candidate Solution 40%
• Fitness Function 40%
• Heuristic Method 20%
• Internal Model 20%
• model checker 20%