New tool automates the formal verification of systems software techxplore.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from techxplore.com Daily Mail and Mail on Sunday newspapers.