Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Morbé, Georges"'
Autor:
Morbé, Georges, Scholl, Christoph
Publikováno v:
In Science of Computer Programming 1 November 2015 111 Part 2:248-276
Autor:
Morbé, Georges, Scholl, Christoph
In this paper we present a fully symbolic TCTL model checking algorithm for incomplete timed systems. Our algorithm is able to prove that a TCTL property is violated or satisfied regardless of the implementation of unknown timed components in the sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10f51d7f730598b76beab500f830234d
Publikováno v:
Hardware & Software: Verification & Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings; 2014, p30-47, 18p