|
|
|
|
|
|
by Blaisorblade0
3059 days ago
|
|
|
Verification of unsafe languages such as unsafe Rust (here), or C, PHP or assembly (in other research) tries to show if some particular program is correct or not — by exhibiting bugs, proving safety, or both. Tons of approaches exist. But verification can be easier for higher-level languages. |
|
|