UB ScholarWorks

Browsing Engineering Proceedings by Subject "Framework"

Browsing Engineering Proceedings by Subject "Framework"

Sort by: Order: Results:

  • Elleithy, Khaled M.; Aref, Mostafa A. (IEEE, 1996-11-18)
    In this paper, the verification strategy of the PROVER environment is presented. The PROVER system (PROduction system for hardware VERification) uses CLIPS (C Language Integrated Production System). PROVER is a rule-based ...

Search ScholarWorks


Advanced Search

Browse

My Account