Challenge two of the VerifyThis2018 competition: verifying a combinatorial problem based on Project Euler problem #114. This algorithm calculates the total number of 'valid' sequences of black and white tiles of length 50, where a sequence is defined to be 'valid' if it does not contain a sequence of red tiles shorter than length 3.

General information

ID

179

Article

FTfJP 2018: An Exercise in Verifying Sequential Programs with VerCors