David Cerna, Wolfgang Schreiner,
"Writing Time- and Space- Efficient LogicGuard Specifications"
, Serie RISC Report Series, RISC, JKU, Hagenberg, Linz, 3-2017
Original Titel:
Writing Time- and Space- Efficient LogicGuard Specifications
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Forschungs-