Statistical Model Checking for Variability-Intensive Systems

DOI10.1007/978-3-030-45234-6_15OpenAlexW3019051048MaRDI QIDQ5039537

Mike Papadakis, Axel Legay, Maxime Cordy

Publication date: 13 October 2022

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

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

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Some upper and lower bounds on the coupon collector problem
• Data structures for symbolic multi-valued model-checking
• Faster statistical model checking for unbounded temporal properties
• 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
• A testing scenario for probabilistic processes
• Tools and Algorithms for the Construction and Analysis of Systems
• Feature integration using a feature construct
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints

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