From f3f5295d17700fc8f0b79ee797606511b04c99fa Mon Sep 17 00:00:00 2001 From: Kasper Luckow Date: Tue, 18 Jul 2017 15:59:50 -0700 Subject: [PATCH] Basic TOC --- README.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/README.md b/README.md index 1a89128..dfbb973 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,22 @@ # Awesome Symbolic Execution [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) +>A curated list of awesome symbolic execution resources including books, essential research papers, tutorials and tools. + + +## Table of Contents + +* [Books](#books) +* [Tutorials](#tutorials) +* [Videos](#videos) +* [Courses](#courses) +* [Papers](#Papers) +* [Tools](#Tools) + + +## Books +## Tutorials +## Videos +## Courses +## Papers +## Tools +