Statistical Model Checking for Variability-Intensive Systems

DOI10.1007/978-3-030-45234-6_15MaRDI QIDQ5039537zbMATH OpenOpenAlexFDO

Authors Maxime Cordy, Mike Papadakis, Axel Legay

Publication date 13 October 2022

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-45234-6_15

Mathematics Subject Classification ID

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

Recommendations

• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• Statistical model checking of stochastic component-based systems
• Statistical model checking
• Computer Aided Verification
• Statistical model checking for cyber-physical systems
• Computer Aided Verification

Cites work

• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A testing scenario for probabilistic processes
• Data structures for symbolic multi-valued model-checking
• Feature integration using a feature construct
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• Some upper and lower bounds on the coupon collector problem
• Statistical verification of probabilistic properties with unbounded until
• The coupon-collector problem revisited — a survey of engineering problems and computational methods
• The vectorization of ITPACK 2C
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• Statistical model checking of stochastic component-based systems
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization

This page was built for publication: Statistical Model Checking for Variability-Intensive Systems

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