Free Delivery Over $100
|
|
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. Full Product DetailsAuthor: María del Mar Gallardo , Pedro MerinoPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2018 Volume: 10869 Weight: 0.557kg ISBN: 9783319941103ISBN 10: 3319941100 Pages: 347 Publication Date: 17 June 2018 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
