• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Using a bounded model checker for test generation: How to kill two birds with one SMT solver

Automatic Control and Computer Sciences. 2015. Vol. 7. No. 49. P. 466-472.
Beliaev Mikhail, Petrov M., Gagarski K., Itsykson V.M.