A Probabilistic Extension of UML Statecharts

DOI10.1007/3-540-45739-9_21zbMath1278.68226OpenAlexW2100571517MaRDI QIDQ5392299

David N. Jansen, Holger Hermanns, Joost-Pieter Katoen

Publication date: 8 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45739-9_21

zbMATH Keywords

Markov decision processesmodel checkingsemanticsprobabilitiesUML statecharts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Abstract probabilistic automata ⋮ Specification Theories for Probabilistic and Real-Time Systems ⋮ Abstract Probabilistic Automata ⋮ Refinement Sensitive Formal Semantics of State Machines With Persistent Choice

Uses Software

• PRISM

This page was built for publication: A Probabilistic Extension of UML Statecharts