Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP.

Bishop Brock Warren A. Hunt Jr.

Published in: ICCD (1997)

Keyphrases

high speed
data sets
real world
signal processing
complex systems
real time
artificial intelligence
high level
theorem prover
digital signal processing
computer programs
computer architecture
digital signal processor
digital signal