@Inproceedings{EPTCS105.3, author = {Champion, Adrien and Delmas, R\'emi and Dierkes, Michael}, year = {2012}, title = {Generating Property-Directed Potential Invariants By Backward Analysis}, editor = {\"Olveczky, Peter Csaba and Artho, Cyrille}, booktitle = {{\rm Proceedings First International Workshop on} Formal Techniques for Safety-Critical Systems, {\rm Kyoto, Japan, November 12, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {105}, publisher = {Open Publishing Association}, pages = {22-38}, doi = {10.4204/EPTCS.105.3}, }