MicroRNA target validation by formal methods | IEEE Conference Publication | IEEE Xplore