Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems.

Dawson R. Engler

Published in: FM (2008)

Keyphrases

management system
databases
information retrieval
artificial intelligence
expert systems
building blocks
lessons learned
past experience
database
social networks
source code
distributed systems
complex systems