Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification.

Jian-Ping Wu, Samuel T. Chanson

Browse the full FORTE paper archive.