Veritas+: a specification language based on type theory

Authors:
F. K. Hanna;N. Daeche;M. Longley
Affiliations:
-;-;-
Venue:
Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects
Year:
1990

Citing 0
Cited 3

Modeling a Hardware Synthesis Methodology in Isabelle

Formal Methods in System Design
Logical Relations in Circuit Verification

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
A framework for program development based on schematic proof

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract