Daily Archives: October 7, 2018

HeapHopper – A Bounded Model Checking Framework For Heap-implementations

October 7th, 2018 📆 | 5297 Views ⚑

HeapHopper is a bounded model checking framework for Heap-implementations. Setup sudo apt update && sudo apt install build-essential python-dev virtualenvwrapper

Tagged with:









Back to Top ↑