Browse files


  • Loading branch information...
dgomezferro committed Jun 1, 2012
1 parent 2d238a7 commit 6712f4c8998342cc481bf34810d92120303f6cbe
Showing with 1 addition and 1 deletion.
  1. +1 −1
@@ -5,7 +5,7 @@ Fault-tolerant distributed systems need to tolerate not only crashes but also ra
PASC is a Java library that automates the detection of Arbitrary State Corruption faults in processes of a distributed system. The motivation behind PASC is that developers should not care about these problems. They should focus on making their distributed system crash-tolerant. The PASC library wraps the processes of the system and takes care of executing all the checks that are necessary to transform arbitrary state corruptions into crashes and dropped messages. All this is transparent to the application. If a faulty process wrapped with PASC sends a corrupted messages, this corruption is exposed to the receiver, which discards the message.
-If you have any question, please contact us at
+If you have any question, please see hour [wiki]( or contact us at
How to use PASC?

0 comments on commit 6712f4c

Please sign in to comment.