Webspot Pieter van Ede

Program verification

During this course we treated several specification and test methods. Our focus lay on methods for distributed software.

LTL Checker

For this assignment we had to write a LTL checker. This checker gets as input a formal description of a non-deterministic program and a formal claim. It then computes whether this claim holds on the program or not.

Download
Source of the result

Paper summerization

For this assignment we had to review and criticize a paper related to the topic. I treated the paper 'Plan Generation For GUI Testing' by A.M. Memon, M.E. Pollack and M.L. Soffa.

Download
Summary