https://github.com/jennalwise/graphblas-verif
GitHub - jennalwise/graphblas-verif: Formal verification of the GraphBLAS C API implementation by...
Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP. - jennalwise/graphblas-verif
the c apiformal verification