Verified Trustworthy Software Systems, Specialist Meeting, Day 2

Software faults cause widespread problems in society; symbolic verification provides promising solutions: verification techniques scale; tools are tractable;...