"RIV/00216305:26230/10:PR25258!RIV12-GA0-26230___" . . "pJYvVmivTLVwUB2pTmtVZpp.Nqo=" . "21.919"^^ . . "21.919"^^ . . . . "40"^^ . "1"^^ . "40"^^ . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F10%3APR25258!RIV12-GA0-26230___"^^ . . . . . "R: software" . "Framework for Formal Verification of Clock Domain Crossing" . .