Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems

Sandeep Patil, Valeriy Vyatkin, Cheng Pang

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

19 Citations (Scopus)
Original languageEnglish
Title of host publication13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015
Place of PublicationCambridge, UK
Pages1192-1197
ISBN (Electronic)9781479966509
Publication statusPublished - 2015
MoE publication typeA4 Conference publication

Publication series

Name
ISSN (Print)1935-4576

Keywords

  • Closed-Loop Modeling
  • Formal Verification
  • NCES
  • SESA
  • ViVe

Cite this