E-Book, Englisch, 216 Seiten, eBook
Ben-Ari Principles of the Spin Model Checker
1. Auflage 2008
ISBN: 978-1-84628-770-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 216 Seiten, eBook
ISBN: 978-1-84628-770-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Graduate
Autoren/Hrsg.
Weitere Infos & Material
Sequential Programming in Promela.- Verification of Sequential Programs.- Concurrency.- Synchronization.- Verification with Temporal Logic.- Data and Program Structures.- Channels.- Nondeterminism.- Advanced Topics in Promela.- Advanced Topics in Spin.- Case Studies.