《三国志·魏志·陈思王植传》：於是以罪诛脩。裴松之注引《世语》：脩以白太祖，未及推验。

《隋书·刑法志》：旷又告少卿赵绰滥免徒囚，帝使信臣推验，初无阿曲。

宋·沈括《梦溪笔谈·杂志二》：乃真李顺也，年已七十馀，推验明白，囚赴阙覆按皆实。

元·刘壎《隐居通议·杂录》：事迹甚明，尚敢抵讳，所刼之物，藏汝庄中，皆可推验。

《隋书·天文志上》：然其法制，皆著在历术，推验加时，最为详审。

明·冯惟敏《仙桂引·甲戌新春试笔》曲：四夷安齐输欵诚，三光正推验升平。