A quantitative partial model-checking function and its optimisation

DOI10.29007/RB2PMaRDI QIDQ4645744zbMATH OpenOpenAlexFDO

Authors Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini

Publication date 10 January 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/rb2p

zbMATH Keywords

optimisationsemiringspartial model checkingquantitative modal logicquantitative process algebraquantitative evaluation of systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Partial model checking of modal equations: a survey
• Compositional and quantitative model checking (extended abstract)
• Trade-off analysis meets probabilistic model checking

Cited in

(1)

• scientific article; zbMATH DE number 7333237 (Why is no real title available?)

This page was built for publication: A quantitative partial model-checking function and its optimisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645744)