This site has been taken off-line but an archive is still available at archive.org:

archive.org archive of the formal-methods-education site