Two CEGAR-based approaches for the safety verification of PLC-controlled plants

Nellen, Johanna (Corresponding author); Driessen, Kai; Neuhäußer, Martin; Ábrahám, Erika; Wolters, Benedikt

Dordrecht [u.a.] : Springer Science + Business Media B.V (2016)
Journal Article

In: Information systems frontiers : ISF
Volume: 18
Issue: 5
Page(s)/Article-Nr.: 927-952

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]
  • Theory of Hybrid Systems Research Group [123420]

Identifier