Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. - Mikhail Lukin; Maxim Buzdalov 001; Anatoly Shalyto 001 (Haifa Verification Conference, 2014)