@Inproceedings{EPTCS234.7, author = {Flederer, Frank and Ostermayer, Ludwig and Seipel, Dietmar and Montenegro, Sergio}, year = {2017}, title = {Source Code Verification for Embedded Systems using Prolog}, editor = {Schwarz, Sibylle and Voigtl\"ander, Janis}, booktitle = {{\rm Proceedings 29th and 30th Workshops on} (Constraint) Logic Programming {\rm and 24th International Workshop on} Functional and (Constraint) Logic Programming, {\rm Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {234}, publisher = {Open Publishing Association}, pages = {88-103}, doi = {10.4204/EPTCS.234.7}, }