On the Verification of Parametric Systems
Logic in Computer Science
2023-10-30 v1
Abstract
We present an approach to the verification of systems for whose description some elements - constants or functions - are underspecified and can be regarded as parameters, and, in particular, describe a method for automatically generating constraints on such parameters under which certain safety conditions are guaranteed to hold. We present an implementation and illustrate its use on several examples.
Cite
@article{arxiv.2310.18069,
title = {On the Verification of Parametric Systems},
author = {Dennis Peuter and Philipp Marohn and Viorica Sofronie-Stokkermans},
journal= {arXiv preprint arXiv:2310.18069},
year = {2023}
}
Comments
26 pages. arXiv admin note: text overlap with arXiv:1910.05208