3 ms·
I can understand there are compatibility issues at play wrt embedded systems, but aren't there ways to formally verify C/C++ code ?
by vsskanth 7y ago
I can understand there are compatibility issues at play wrt embedded systems, but aren't there ways to formally verify C/C++ code ?