책 이미지
eBook 미리보기
책 정보
· 제목 : Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs (Paperback, 2016)
· 분류 : 외국도서 > 컴퓨터 > 하드웨어 > 일반
· ISBN : 9783658126797
· 쪽수 : 162쪽
· 출판일 : 2016-03-29
· 분류 : 외국도서 > 컴퓨터 > 하드웨어 > 일반
· ISBN : 9783658126797
· 쪽수 : 162쪽
· 출판일 : 2016-03-29
목차
Verification of Systems .- Introduction to Formal Verification of SystemC Models.- Symbolic Model Checking with Partial Order Reduction.- Efficient Symbolic State Matching using State Subsumption.- Heuristic Approaches for Symbolic State Matching.- Evaluation of Proposed Techniques.
