Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study.
Mikhail LukinMaxim BuzdalovAnatoly ShalytoPublished 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