Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (1st ed. 2016) (Lecture Notes in Computer Science #9641)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
- Copyright:
- 2016
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319325828
- Related ISBNs:
- 9783319325811
- Publisher:
- Springer International Publishing
- Date of Addition:
- 09/18/19
- Copyrighted By:
- Springer International Publishing, Cham
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Dragan Bošnački
- Edited by:
- Anton Wijs
Reviews
Other Books
- by Dragan Bošnački
- by Anton Wijs
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy