Repository files navigation

Oriented by Professor Dr.Herbert Rocha

All the data collected here is available in more details in

• the Master Thesis of Marek Chalupa:Click here to see it!.
• The user-manual from Frama-c platform:Frama-c general User Manual(EN)!
• the slicing manual:Frama-c SLICING Manual(FR)
• you can also check the oficial website of the platform:Here!
• the ESBMC website is:here!
• https://link.springer.com/chapter/10.1007/978-3-030-17502-3_15

• Acquire knowledge of program slicing, verification and validation of software through the various tools available in the market;
• test the various tools available in different scenarios;
• verify if Map2Check and others tools are capable of generating readable code results around the boundaries arrays and loop functions;
• contribute to science with this research project;

Click here to see them.

Click here to see its documentation

• FRAMA-C Tool

  • Click here to see its documentation

• ESBMC Tool

  • Click here to see its documentation

• MAP2CHECK Tool

  • Click here to see its documentation