Language for experimenting with verification algorithms