Automatic Property Checking for Software: Past, Present and Future | IEEE Conference Publication | IEEE Xplore