Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.

Bo Guo, Mahadevan Subramaniam

Browse the full SEFM paper archive.