Symbolic Verification and Test Generation for a Network of Communicating FSMs.

Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao

Browse the full ATVA paper archive.