Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

System verification

  • 59 Accesses

  • 5 Citations

This is a preview of subscription content, log in to check access.

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Moore, J.S. System verification. J Autom Reasoning 5, 409–410 (1989).

Download citation