GuilhermeBn198 / Program-Slicing_PIC

exploring program slicing and documenting my discoveries

GuilhermeBn198/Program-Slicing_PIC Issues

More tests
Updated a year ago
Study ESBMC
Closed a year ago
Figure a way of presenting slicing code WITHOUT tools in a way it may be good to see in github
Updated a year ago
creating a tutorial for frama-c CLI of slicing code
Closed a year ago2
translation of all the documentos to pt-br
Updated a year ago2
Creating a tutorial guide on how to use basic instructions on frama-c
Closed a year ago1