Browsing by Author "Angelo, Catia Marcondes"
Now showing 1 - 5 of 5
- Results Per Page
- Sort Options
Publication Degrees of formality in shallow embedding hardware description languages in HOL
Proceedings paper1994, Higher Order Logic Theorem Proving and its Applications. 6th International Workshop Proceedings; 11-13 August1993; Vancouver, BC, p.89-100Publication Formal Hardware Verification in a Silicon Compilation Environment by Means of Theorem Proving
Angelo, Catia MarcondesPHD thesis1994-02Publication Formalizing a behavioral specification language for correct transformational design
Publication Modeling multi-rate DSP specification semantics for formal transformational design in HOL
Journal article1994, Formal Methods in System Design, 5, p.61-94Publication Reasoning about linear systems of Equations on HOL
Proceedings paper1994, Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings; 19-22 September 1994; Valletta,, p.33-48