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 its documentation
-
FRAMA-C Tool
-
ESBMC Tool
-
MAP2CHECK Tool