Software verification tool (developed at Bell Labs)