Riachristiecollections Model Checking Software Paperback Book

riachristiecollections

Brand new product\nFree UK standard delivery 2-3 days from despatch\nTracked secure courier\nPlease check delivery times at top of listing\nBookCurl is a family bookseller - thank you for your business\n\nThis book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.\nThe 8 full papers were carefully reviewed and selected from 11 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.