4 ms·
For a long time now many people are already working on this topic. This apps are called static program analyzers and some can prove totality of code.
by still_grokking 9y ago
For a long time now many people are already working on this topic.
This apps are called static program analyzers and some can prove totality of code.