Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings: 9641 - Brossura

 
9783319325811: Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings: 9641
Brossura
ISBN 10: 3319325817 ISBN 13: 9783319325811
Casa editrice: Springer, 2016

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3319325817
ISBN 13 
9783319325811
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
264
Redattore
Bošnački Dragan, Wijs Anton
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783319325835: Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Edizione in evidenza

ISBN 10:  3319325833 ISBN 13:  9783319325835
Casa editrice: Springer, 2016
Brossura