TVLA Examples

This directory contains examples of the following TVLA specifications: Comment: After analysis finishes, the figure ``Total number of messages'' indicates how many abstract configurations have triggered an error message. Total number of messages=0 means that the program was successfuly verified against the specified properties.