2023/10/27 by Dennis Peuter, Peuter, Dennis, Philipp Marohn +3
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Safety Systems Engineering in Autonomy
paper · pdf · doi:10.48550/arxiv.2310.18069
openalex publication_date 2023/10/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.