NASA NTRS · 19910008259
Generic interpreters and microprocessor verification
Abstract
The following topics are covered in viewgraph form: (1) generic interpreters; (2) Viper microprocessors; (3) microprocessor verification; (4) determining correctness; (5) hierarchical decomposition; (6) interpreter theory; (7) AVM-1; (8) phase-level specification; and future work.
Keep this discovery
Explore connections, maps & timelines
Windley, Phillip J.. 1990-11-01. Generic interpreters and microprocessor verification. https://ntrs.nasa.gov/citations/19910008259
Cite the original work for its findings. Save a collection to share your selection of sources.