Leveraging Horn clause solving for compositional verification of PLC software
Crossref DOI link: https://doi.org/10.1007/s10626-019-00296-8
Published Online: 2019-11-26
Published Print: 2020-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bohlender, Dimitri http://orcid.org/0000-0002-8591-501X
Kowalewski, Stefan
Text and Data Mining valid from 2019-11-26
Version of Record valid from 2019-11-26
Article History
Received: 6 December 2018
Accepted: 25 September 2019
First Online: 26 November 2019