Figure 3. Sketch of simple bounded model checking UI, where user defines one or more ‘starting states’ and ‘runs’ analysis to determine the sequence of subsequent states.

Article Information

  • Author(s):
  • Affiliation(s):
  • Publication Date:
  • Issue:
  • Citation: . “Figure 3. Sketch of simple bounded model checking UI, where user defines one or more ‘starting states’ and ‘runs’ analysis to determine the sequence of subsequent states..” Computational Culture (). http://computationalculture.net/modelling-biology/fig_3/.


Abstract