|
|
|
|
|
|
by nickpsecurity
3976 days ago
|
|
|
Smart move. It's a good default far as work vs results tradeoff. I'll try to keep your project in mind when I review my collection of verification papers in case I see any little-known, C verification methods that might help. |
|
|