Construction of concrete verification models from C++.

Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh

Browse the full DAC paper archive.