FDR model checker

GPTKB entity