Title: Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Subjects: Interpreters (Computer programs), Validation, Microprocessors, Computer programs