Error message

  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

Abstraction and Acceleration in SMT-based Model-Checking for Array Programs

TitleAbstraction and Acceleration in SMT-based Model-Checking for Array Programs
Publication TypeJournal Article
AuthorsAlberti, Francesco, Ghilardi S., and Sharygina Natasha
Full Text