Channel
C++Weekly
Topics
Model checking c++ code to identify runtime errors without running the program using ESBMC (https://github.com/esbmc/esbmc) . It is essentially a more advanced form of static analysis.
Length
Should this be bite-sized (5-10 minutes) or more long form (10-20 minutes)?
Not sure could be either, depending on how deep one wants to go.
Channel
C++Weekly
Topics
Model checking c++ code to identify runtime errors without running the program using ESBMC (https://github.com/esbmc/esbmc) . It is essentially a more advanced form of static analysis.
Length
Should this be bite-sized (5-10 minutes) or more long form (10-20 minutes)?
Not sure could be either, depending on how deep one wants to go.