책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys (Paperback, 2014)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319073163
· 쪽수 : 343쪽
· 출판일 : 2014-05-21
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319073163
· 쪽수 : 343쪽
· 출판일 : 2014-05-21
목차
Analysis of Executable Software Models.- Deadlock Detection in Linear Recursive Programs.- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.- Verification of Concurrent Systems with VerCors.- Combining Monitoring with Run-Time Assertion Checking.- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.- Model-Based Testing.
