Specification and Verification Using Dependent Types.

F. Keith Hanna Neil Daeche Mark Longley

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

formal verification
model checking
asynchronous circuits
high level
verification method
data sets
image processing
web services
three dimensional
video sequences
user defined