On the Verification of Parametric Systems
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2023
- DOI:
- 10.48550/arXiv.2310.18069
- arXiv:
- arXiv:2310.18069
- Bibcode:
- 2023arXiv231018069P
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- 26 pages. arXiv admin note: text overlap with arXiv:1910.05208