Leveraging Horn clause solving for compositional verification of PLC software

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

Discrete event dynamic systems
Volume: 30
Page(s): 1-24

Authors

Authors

Bohlender, Dimitri
Kowalewski, Stefan

Identifier