David Cerna, Wolfgang Schreiner,
"Writing Time- and Space- Efficient LogicGuard Specifications"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, RISC, JKU, Hagenberg, Linz, 3-2017
Writing Time- and Space- Efficient LogicGuard Specifications
Sprache des Titels:
Based on the analysis carried out as part of the LogicGuard II project we purpose various methods for reducing the time and space complexity of LogicGuard specifications. The key results of these investigations are that space complexity is most effected by the order of the intervals based on length and time complexity is most effected by the overlap of the intervals. We provide examples illustrating these findings as well as analysis of the theoretical results.
Sprache der Kurzfassung:
RISC Report Series, Johannes Kepler University Linz, Austria