The probabilistic model checker Storm

Autor:	Christian Hensel, Matthias Volk, Sebastian Junges, Tim Quatmann, Joost-Pieter Katoen
Přispěvatelé:	Formal Methods and Tools
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	FOS: Computer and information sciences Model checking Computer science Markov chain ComputerApplications_COMPUTERSINOTHERSYSTEMS 0102 computer and information sciences 02 engineering and technology Markov model computer.software_genre 01 natural sciences GeneralLiterature_MISCELLANEOUS Computer Science - Software Engineering 0202 electrical engineering electronic engineering information engineering Probilistic systems computer.programming_language Programming language Probabilistic logic Verification 020207 software engineering Storm Python (programming language) Software Engineering (cs.SE) 010201 computation theory & mathematics Guarded Command Language Stochastic Petri net Markov decision process ddc:004 computer Software Information Systems
Zdroj:	International journal on software tools for technology transfer, 24(4), 589-610. Springer International journal on software tools for technology transfer 24(4), 589-610 (2021). doi:10.1007/s10009-021-00633-z
ISSN:	1433-2779
Popis:	International journal on software tools for technology transfer (2021). doi:10.1007/s10009-021-00633-z Published by Springer, Berlin; Heidelberg [u.a.]
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8882494c6fdc1eb2551f73225e4641a https://research.utwente.nl/en/publications/d60b5558-cb6f-4b6b-806f-25da1c587381 Zobrazit plný text záznamu Full text from SpringerLink