Stem fta$ (all stems)

2 papers:

DAC-2015-ChangHLW #analysis #encoding #functional #named

TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.

FME-2003-ThumsS #model checking

Model Checking FTA (AT, GS), pp. 739–757.