Question: Are Philips Videopac + G7400 and Acorn Electron both computer-based systems?
Sentence (from "Vienna Development Method"): Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models.
Relevant evidence: No