Each year SAVE receives nearly 1000 requests for information from more than 70 countries. Click on the image below to register for SAVE events or visit our calendar. To view additional events in support of SAVE. You can establish a SAVE Named Memorial in remembrance of a loved one or a very special friend. Visit SAVEs Name Memorial Page HERE.

Share the picture on your personal social media channels, tagging your friends and family members and urging them to do the same thing.

These days hardware and software systems are increasingly being used in safety-critical domains, such as electronic military and medicine equipment and automated transportation systems. This fact makes the accuracy of their analysis very important as an uncaught system bug may endanger human life or lead to a significant financial loss. Traditionally, the verification of these systems has predominantly been accomplished by computer simulation. The primary focus of our research is on using formal methods.