On the Verification of Parametric Systems
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
TL;DR
This paper introduces a method for verifying parametric systems by automatically generating constraints on parameters to ensure safety, demonstrated through implementation and multiple examples.
Contribution
It provides a novel approach for the automatic generation of parameter constraints in the verification of systems with underspecified elements.
Findings
Successfully generated safety-guaranteeing constraints for parametric systems
Implemented a practical tool demonstrated on multiple examples
Enhanced verification methods for systems with unknown parameters
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Safety Systems Engineering in Autonomy · Model-Driven Software Engineering Techniques