Software Engineer (P19) pps
Digitale Hardware/ Software-Systeme- P19 ppsx
... detektiert werden. C.3 SMT-Solver SAT-Solver werden u. a. vermehrt zur Verifikation von Hardware und Software auf h ¨ oheren Abstraktionsebenen eingesetzt. Hierzu werden Eigenschaften der betrachte- ten ... B ´ ERARD,B.,M.BIDOIT,A.FINKEL,F.LAROUSSINIE,A.PETIT,L.PETRUCCI, P. S CHNOEBELEN und P. MCKENZIE: Systems and Software Verification. Springer, Berlin, Heidelberg, 2001. 40. B EREZIN,S.,A...
Ngày tải lên: 02/07/2014, 14:20
30
421
0
Từ khóa: