![]() |
![]() |
![]() |
Category: PdTrav Package |
|
|
![]() ![]() |
PdTRAV (Politecnico di Torino Reachability Analysis & Verification) To run the multi-threaded version (HWMCC setup): pdtrav -strategy thrd .aid you may wish to add -verbosity 1 (-verbosity 4 very verbose) This is going to start up to 8 threads If you want to disable some thread (e.g. BMC), use -thrdDis BMC If you want to just enable some thread (e.g. IGR), use -thrdEn IGR
|
Created Size Downloads |
2014-06-27 22:36:15 5.11 MB 526 |
||
![]() |
PdTRAV (Politecnico di Torino Reachability Analysis & Verification)
|
Created Size Downloads |
2018-01-24 14:57:32 13.07 MB 24 |
||