Proof Score Approach to Verification of Liveness Properties.

Kazuhiro Ogata, Kokichi Futatsugi

Browse the full SEKE paper archive.