MCGP Tool

MCGP is a tool intended for the automatic generation and correction of programs, based on deep Model Cheking and Genetic Programming. 
 
                                    Download