Prenex universal first-order safety properties

DOI10.1016/j.ipl.2024.106488zbMATH Open1541.68216MaRDI QIDQ6551713

Helmut Seidl, Ioane Kapanadze, Besik Dundua

Publication date: 7 June 2024

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

decidabilityformal methodsparametric systemsautomatic theorem provingprogram correctnessfirst-order safety LTLfirst-order transition system

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• How to win first-order safety games
• Safety, liveness and fairness in temporal logic
• Many-dimensional modal logics: theory and applications
• Decidable fragments of first-order temporal logics
• Untersuchungen über das Eliminationsproblem der mathematischen Logik.
• Decentralizing SDN Policies
• Model checking of safety properties

This page was built for publication: Prenex universal first-order safety properties