Verified Software: A Grand Challenge.

Cliff B. Jones Peter W. O'Hearn Jim Woodcock

Published in: Computer (2006)

Keyphrases

grand challenge
autonomous driving
software development
software systems
user interface
computer systems
software architecture
software maintenance
databases
software tools
software package
design patterns
commercial software
software testing
embedded systems
genetic algorithm
data mining