Principles of the Spin Model Checker Book Reviews
Principles of the Spin Model Checker by Mordechai Ben-Ari Book Summary
The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems. Models, written in a simple language called Promela, can be simulated randomly or interactively. Spin can generate efficient verifiers that search for a counterexample to correctness specifications applied to a model.
Spin is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The Promela language is easy to learn, as is the linear temporal logic used for correctness specifications, and the techniques for simulating and verifying models.
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. The presentation starts with the verification of sequential programs and proceeds in gradual stages to the verification of concurrent and then distributed programs. Complete programs are used to demonstrate each construct and concept, and the source code of these programs, together with that of longer case studies, are available on the companion website.
The book describes free software that the author has developed: jSpin—an integrated development environment for Spin, SpinSpider—a visualization tool that automatically constructs graphical state diagrams of concurrent programs, and VN—a Spin-based tool for visualizing nondeterminism of finite automata.
Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.
Book Name | Principles of the Spin Model Checker |
Genre | Software |
Author | Mordechai Ben-Ari |
Published | 13 April 2008, Sunday |
Language | English |
E-Book Size | 1.45 MB |
Principles of the Spin Model Checker (Mordechai Ben-Ari) Book Reviews 2024
We transfer money over €4 billion every month. We enable individual and business accounts to save 4 million Euros on bank transfer fees. Want to send free money abroad or transfer money abroad for free? Free international money transfer!
Did you know that you can earn 25 USD from our site just by registering? Get $25 for free by joining Payoneer!
Download Link | Book Format |
principles-of-the-spin-model-checker-ebook.pdf | |
principles-of-the-spin-model-checker-ebook.epub | EPUB |
principles-of-the-spin-model-checker-ebook.kindle | KINDLE |
Principles of the Spin Model Checker E-book (PDF, PUB, KINDLE) Download
Principles of the Spin Model Checker ebook principles-of-the-spin-model-checker (1.45 MB) download new links will be update!
Principles of the Spin Model Checker Similar Books
Book Name | Score | Reviews | Price |
Pragmatic Programmer, The | 5/5 | 26 | $39.99 |
How to Draw Giant Robots With Adobe Flash | 4/5 | 5 | Free |
Load Testing With JMeter | 0/5 | 0 | Free |
The iBooks Author Manual | 3/5 | 16 | $1.99 |
Making an App | 0/5 | 0 | Free |
Enhance sleep, vision, cognition, flexibility, energy, long-range health and more. Performance Lab CORE Formulas support all aspects of human performance, across all walks of life. Boosts work performance and productivity with nootropics for focus, multitasking under stress, creative problem-solving and more.
Book Name | Score | Reviews | Price |
Ada for Software Engineers | 0/5 | 0 | $54.99 |
Mathematical Logic for Computer Science | 0/5 | 0 | $49.99 |
Elements of Robotics | 5/5 | 6 | Free |
Summary of Principles of the Spin Model Checker by Mordechai Ben-Ari
The Principles of the Spin Model Checker book written by Mordechai Ben-Ari was published on 13 April 2008, Sunday in the Software category. A total of 68 readers of the book gave the book 0 points out of 5.
Book Name | Author | Price |
Subversion | Ladislav Prskavec | Free |
Developer Experience | Addy Osmani | Free |
Licensing and Security for the Internet of Things | Oliver Winzenried | Free |
Best of TOC | Peter Brantley, James Bridle, Liza Daly, Joseph J. Esposito, Kate Eltham, Adam Hodgkin, Kassia Krozser, Bill McCoy, Andrew Savikas, Mac Slocum, Bob Stein, Sara Lloyd & Tim O'Reilly | Free |
BluePrint for Software Engineering | Prakash Hegade | Free |
Coinbase is the world's most trusted place to buy and sell cryptocurrency. Open an account today, and if you buy or sell $100 or more of crypto, you'll receive $10 worth of free Bitcoin!
Book Name | Author | Price |
Agile Software Requirements | Dean Leffingwell | $45.99 |
Office 365 For Dummies | Rosemarie Withee, Ken Withee & Jennifer Reed | $18.99 |
How To Setup Find My iPhone | Mobility | $0.99 |
Excel 2019 All-in-One For Dummies | Greg Harvey | $24.99 |
User Stories Applied | Mike Cohn | $43.99 |
Jasper is the generative AI platform for business that helps your team create content tailored for your brand 10X faster, wherever you work online.
Please wait! Principles of the Spin Model Checker book comments loading...
Mordechai Ben-Ari - Principles of the Spin Model Checker Discussions & Comments
Have you read this book yet? What do you think about Principles of the Spin Model Checker by Mordechai Ben-Ari book? Ask the bookpedia.co community a question about Principles of the Spin Model Checker!