Demonstrating random and parallel algorithms with spin

Authors:
Mordechai (Moti) Ben-Ari;Fatima Kaloti-Hallak
Affiliations:
Weizmann Institute of Science, Rehovot, Israel;Weizmann Institute of Science, Rehovot, Israel
Venue:
ACM Inroads
Year:
2012

Citing 5
Cited 0

Principles of the Spin Model Checker

Principles of the Spin Model Checker
Boolean satisfiability from theoretical hardness to practical success

Communications of the ACM - A Blind Person's Interaction with Technology
A primer on model checking

ACM Inroads
Swarm Verification Techniques

IEEE Transactions on Software Engineering
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract