登入選單
返回Google圖書搜尋
Computer Aided Verification
Alan J. Hu
其他書名
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
出版Springer Science & Business Media, 1998-06-03
主題Computers / Artificial Intelligence / GeneralComputers / Computer ArchitectureComputers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Programming / GeneralComputers / Software Development & Engineering / GeneralComputers / Software Development & Engineering / Quality Assurance & TestingMathematics / Discrete MathematicsMathematics / Logic
ISBN35406460869783540646082
URLhttp://books.google.com.hk/books?id=ABlmeZbJecwC&hl=&source=gbs_api
EBookSAMPLE
註釋This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.