Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh

Browse the full ICTAC paper archive.