Saurabh Joshi
Saurabh Joshi
Home
Projects
Publications
Teaching
Students
Posts
Posts
How to use Pinaka Pinaka is a single-path symbolic execution engine, built on top of CPROVER framework. In the following text, we will show how to use Pinaka through various examples.
Last updated on Nov 15, 2021
8 min read
Cite
×