An approximation-based approach for the random exploration of large models

DOI10.1007/978-3-319-92994-1_2zbMath1509.68159arXiv1806.04878OpenAlexW2805971964MaRDI QIDQ6039390

Julien Bernard, Olga Kouchnarenko, Pierre-Cyrille Héam

Publication date: 5 May 2023

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1806.04878

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: An approximation-based approach for the random exploration of large models