Investigating CTL Mediated Killing with a 3D Cellular Automaton.
Frederik GrawRoland R. RegoesPublished in: PLoS Comput. Biol. (2009)
Keyphrases
- cellular automaton
- cellular automata
- model checking
- finite state machines
- temporal logic
- pattern generation
- reaction diffusion
- computation tree logic
- temporal properties
- bounded model checking
- linear temporal logic
- dynamical behavior
- cellular automaton model
- formal verification
- formal specification
- building blocks
- logic programs
- database