The High Road to Formal Validation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Model-driven business process security requirement specification
Journal of Systems Architecture: the EUROMICRO Journal
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
An Approach for Validation of Semantic Composability in Simulation Models
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Formal Model--Driven Design of Distributed Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
ACM Inroads
Highly-fair bakery algorithm using symmetric tokens
Information Processing Letters
Science of Computer Programming
Efficient approximate verification of B and Z models via symmetry markers
Annals of Mathematics and Artificial Intelligence
Nevertrace claims for model checking
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
Directed model checking for B: an evaluation and new techniques
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
On Validation of Semantic Composability in Data-Driven Simulation
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
An Analysis of the Cost of Validating Semantic Composability
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Formal specification and verification of vehicular handoff using π-calculus
Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief
Formal verification of p systems with active membranes through model checking
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Formal verification of the Extensible Authentication Protocol using SPIN
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Software simulation and verification to increase the reliability of Intelligent Environments
Advances in Engineering Software
Debugging Mobile Agent Systems
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.