책 이미지

eBook 미리보기
책 정보
· 제목 : 25 Years of Model Checking: History, Achievements, Perspectives (Paperback) (History, Achievements, Perspectives)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783540698494
· 쪽수 : 234쪽
· 출판일 : 2008-06-17
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783540698494
· 쪽수 : 234쪽
· 출판일 : 2008-06-17
목차
The Birth of Model Checking.- The Beginning of Model Checking: A Personal Perspective.- Verification Technology Transfer.- New Challenges in Model Checking.- A Retrospective on Mur?.- Model Checking: From Tools to Theory.- Value Iteration.- Fifteen Years of Formal Property Verification in Intel.- A View from the Engine Room: Computational Support for Symbolic Model Checking.- From Church and Prior to PSL.- On the Merits of Temporal Testers.- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC.- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR.
추천도서
분야의 베스트셀러 >