Deakstadieđáhus: Validation methods using formal techniques