├── README.md └── Slides ├── Lecture01-introduction.pdf ├── Lecture02-logic_computation.pdf ├── Lecture03-idea.pdf ├── Lecture04-deductive.pdf ├── Lecture05-static_analysis.pdf ├── Lecture06-model_checking.pdf ├── Lecture07-symbolic_execution.pdf └── Lecture08-dynamic_analysis.pdf /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/README.md -------------------------------------------------------------------------------- /Slides/Lecture01-introduction.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture01-introduction.pdf -------------------------------------------------------------------------------- /Slides/Lecture02-logic_computation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture02-logic_computation.pdf -------------------------------------------------------------------------------- /Slides/Lecture03-idea.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture03-idea.pdf -------------------------------------------------------------------------------- /Slides/Lecture04-deductive.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture04-deductive.pdf -------------------------------------------------------------------------------- /Slides/Lecture05-static_analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture05-static_analysis.pdf -------------------------------------------------------------------------------- /Slides/Lecture06-model_checking.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture06-model_checking.pdf -------------------------------------------------------------------------------- /Slides/Lecture07-symbolic_execution.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture07-symbolic_execution.pdf -------------------------------------------------------------------------------- /Slides/Lecture08-dynamic_analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bugcounting/software-analysis/HEAD/Slides/Lecture08-dynamic_analysis.pdf --------------------------------------------------------------------------------