Results for Symbolic execution

Publications & Outputs

1. Safety verification utilizing model-based development for safety critical cyber-physical systems

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 15/08/2017, In: Journal of Information Processing Systems. 25, p. 797-810 14 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review

2. Practical use of formal verification for safety critical cyber-physical systems: A case study

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 25/08/2014, 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications. IEEE, p. 7-12 6 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review