Back to Search
Start Over
The probabilistic model checker Storm
- Source :
- 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
- Publication Year :
- 2022
-
Abstract
- International journal on software tools for technology transfer (2021). doi:10.1007/s10009-021-00633-z<br />Published by Springer, Berlin; Heidelberg [u.a.]
- Subjects :
- 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
Subjects
Details
- Language :
- English
- ISSN :
- 14332779
- Database :
- OpenAIRE
- Journal :
- 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
- Accession number :
- edsair.doi.dedup.....b8882494c6fdc1eb2551f73225e4641a
- Full Text :
- https://doi.org/10.1007/s10009-021-00633-z