Zobrazeno 1 - 5
of 5
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
Autor:
Eran Yahav
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected fr
Autor:
Ganesh Gopalakrishnan, Shaz Qadeer
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully re