softwareverify.bsky.social
@softwareverify.bsky.social
Our current work is focusing on upgrading Coverage Validator, Memory Validator and Performance Validator to support Python as well as the languages C, C++, VB6, Fortran, Rust.

We'll release more details as this work progresses.
March 4, 2025 at 4:46 PM