책 이미지
eBook 미리보기
책 정보
· 제목 : A Practical Introduction to Psl (Hardcover)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 공학일반
· ISBN : 9780387353135
· 쪽수 : 240쪽
· 출판일 : 2006-07-20
· 분류 : 외국도서 > 기술공학 > 기술공학 > 공학일반
· ISBN : 9780387353135
· 쪽수 : 240쪽
· 출판일 : 2006-07-20
목차
Basic Temporal Properties.- Some Philosophy.- Weak vs. Strong Temporal Operators.- SERE Style.- Clocks.- Aborting a Property.- Some Convenient Constructs.- The Simple Subset.- The Boolean, Modeling, and Verification Layers.- Advanced Topics.- More Philosophy - High- vs. Low-level Assertions.- Common Errors.- Multiply-clocked Designs.
