Counterexample-Guided Abstraction Refinement for PLCs

@inproceedings {267121,
author = {Sebastian Biallas and J{\"o}rg Brauer and Stefan Kowalewski},
title = {{Counterexample-Guided} Abstraction Refinement for {PLCs}},
booktitle = {5th International Workshop on Systems Software Verification (SSV 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/counterexample-guided-abstraction-refinement-plcs},
publisher = {USENIX Association},
month = oct
}