A CEGAR approach for the reachability analysis of PLC-controlled chemical plants.

Johanna Nellen, Erika brahm

Browse the full IRI paper archive.