Korrekt och komplett verifiering av EATMN-programvara

Det här begreppet har ännu ingen beskrivning. Nedan visas var det definieras och används.