Software verification

HOW IT IS BUILT The methods behind it Gradient descent Satisfiability WHAT IT CAN DO Its core abilities — — — — WHERE IT IS USED — · — — · — SV learns · reasons · acts
How it's built
What it can do
Where it's used