Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
Sandeep K. ShuklaTevfik BultanConstance L. HeitmeyerPublished in: MEMOCODE (2004)
Keyphrases
- low cost
- real time
- long term
- hardware and software
- hardware designs
- model checking
- computer systems
- hardware implementation
- computational power
- face verification
- operating system
- decision support system
- general purpose
- computing systems
- processing capabilities
- graphics hardware
- hardware design
- predicting future
- face recognition