Lucent

33
reputation
7

Formal verification, requirement based test case generation