Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study.

Mikhail Lukin Maxim Buzdalov Anatoly Shalyto

Published in: Haifa Verification Conference (2014)

Keyphrases

formal verification
program slicing
model checking
finite state machines
model checker

automated verification
bounded model checking
finite state
case study
symbolic model checking

turing machine
cellular automata
finite automata
genetic programming
probabilistic automata

test bed
artificial intelligence
description languages
software engineering
functional verification