Deriving a State Model of a Control Program by Symbolic Execution

Herbert Prähofer, Thomas Böhm, Josef Pichler

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	16th IEEE International Conference on Industrial Informatics (INDIN'18)
Pages	754-759
Number of pages	6
Publication status	Published - Jul 2018

Fields of science

@inproceedings{a3521baeb720485f848d09b0099ffc9c,

title = "Deriving a State Model of a Control Program by Symbolic Execution",

author = "Herbert Pr{\"a}hofer and Thomas B{\"o}hm and Josef Pichler",

year = "2018",

month = jul,

language = "English",

isbn = "978-1-5386-4828-5",

pages = "754--759",

booktitle = "16th IEEE International Conference on Industrial Informatics (INDIN'18)",

}