Special issue: Synthesis and SYNT 2014

K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.

Download
No fulltext has been uploaded. References only!

Journal Article | Published | English
Author
Department
Abstract
The ubiquity of computation in modern machines and devices imposes a need to assert the correctness of their behavior. Especially in the case of safety-critical systems, their designers need to take measures that enforce their safe operation. Formal methods has emerged as a research field that addresses this challenge: by rigorously proving that all system executions adhere to their specifications, the correctness of an implementation under concern can be assured. To achieve this goal, a plethora of techniques are nowadays available, all of which are optimized for different system types and application domains.
Publishing Year
Date Published
2017-09-01
Journal Title
Acta Informatica
Volume
54
Issue
6
Page
543 - 544
ISSN
IST-REx-ID

Cite this

Chatterjee K, Ehlers R. Special issue: Synthesis and SYNT 2014. Acta Informatica. 2017;54(6):543-544. doi:10.1007/s00236-017-0299-0
Chatterjee, K., & Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica, 54(6), 543–544. https://doi.org/10.1007/s00236-017-0299-0
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica 54, no. 6 (2017): 543–44. https://doi.org/10.1007/s00236-017-0299-0.
K. Chatterjee and R. Ehlers, “Special issue: Synthesis and SYNT 2014,” Acta Informatica, vol. 54, no. 6, pp. 543–544, 2017.
Chatterjee K, Ehlers R. 2017. Special issue: Synthesis and SYNT 2014. Acta Informatica. 54(6), 543–544.
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica, vol. 54, no. 6, Springer, 2017, pp. 543–44, doi:10.1007/s00236-017-0299-0.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar