System modeling and verification with UCLID | IEEE Conference Publication | IEEE Xplore