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
719

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar