Towards a Worldwide Verification Technology.

Wolfgang J. Paul

Published in: VSTTE (2005)

Keyphrases

case study
data processing
rapid development
key technologies
cost effective
model checking
real time
face recognition
software engineering
computer systems
personal computer
st century
world wide
formal verification