Synthesis of parametric programs using genetic programming and model checking

Keyphrases

• Genetic Model 100%
• Genetic Programming 100%
• Parametric Program 100%
• High Complexity 50%
• Formal Methods 50%
• System Reliability 50%
• Verification Model 50%
• Formal Specification 50%
• Concurrent Systems 50%
• Undecidability 50%
• Sequential System 50%
• Algorithmic Synthesis 50%
• Synthetic Theory 50%
• Mathematical Principles 50%
• Programming Challenges 50%

Computer Science

• Model Checking 100%
• Genetic Programming 100%
• Formal Specification 33%
• Concurrent System 33%