Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bobaru, Michaela"'
Autor:
Laarman, Alfons, van de Pol, Jan Cornelis, Weber, M., Bobaru, Michaela, Havelund, Klaus, Holzmann, Gerard J., Joshi, Rajeev
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642203978
NASA Formal Methods
Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 506-511
STARTPAGE=506;ENDPAGE=511;TITLE=Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011
NASA Formal Methods
Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 506-511
STARTPAGE=506;ENDPAGE=511;TITLE=Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011
The LTSmin toolset provides multiple generation and on-the-fly analysis algorithms for large graphs (state spaces), typically generated from concise behavioral specifications (models) of systems. LTSmin supports a variety of input languages, but its
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c610488c39cde9378ae9c8302857bbd9
https://doi.org/10.1007/978-3-642-20398-5_40
https://doi.org/10.1007/978-3-642-20398-5_40
