Sökning: "formal verification"

Hittade 2 exjobbsförslag från svenska företag, som innehöll ordet formal verification.

Inkom Exjobbsförslag
2006-10-27Implementation of a tool for formal verification of C programs (inaktivt)
2006-10-27Symbolic Fault Injection (inaktivt)


Informationen om uppsatsförslag är hämtad från Nationella Exjobb-poolen.