Assertion Checking of Behavioral Descriptions with Non-linear Solver.

igo Ugarte, Pablo Sanchez

Browse the full ICCD paper archive.