On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators

DOI10.1007/978-3-319-32582-8_13zbMath1354.68199OpenAlexW2368443971MaRDI QIDQ2814627

José Ignacio Requeno, Radu Mateescu

Publication date: 22 June 2016

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: http://zaguan.unizar.es/record/79737

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Probabilistic model checking of BPMN processes at runtime

This page was built for publication: On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators