Skip to main content

1 Result(s)

within Steven P. Miller Remove this filter Engineering Remove this filter Computer-Aided Engineering (CAD, CAE) and Design Remove this filter Software Engineering/Programming and Operating Systems Remove this filter

and

  1. No Access

    Article

    Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods

    Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions rema...

    Mandayam K. Srivas, Steven P. Miller in Formal Methods in System Design (1996)