Special issue: Synthesis and SYNT 2014
Download
No fulltext has been uploaded. References only!
Journal Article
| Published
| English
Scopus indexed
Author
Chatterjee, KrishnenduISTA
;
Ehlers, Rüdiger

Corresponding author has ISTA affiliation
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
Publisher
Springer
Volume
54
Issue
6
Page
543 - 544
ISSN
IST-REx-ID