Stratified guarded first-order transition systems

DOI10.1007/978-3-030-65474-0_6zbMath1474.68192OpenAlexW3119884793MaRDI QIDQ2233528

Helmut Seidl, Christan Müller

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-65474-0_6

zbMATH Keywords

stratificationdecidabilitysecond-order quantifier eliminationuniversal invariantsfirst-order transition systems

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How to win first-order safety games
• Specifying and verifying secrecy in workflows with arbitrarily many agents
• Product programs and relational program logics
• Decentralizing SDN Policies
• Decidability of inferring inductive invariants
• Property-Directed Inference of Universal Invariants or Proving Their Absence
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Deductive verification in decidable fragments with Ivy
• Verification of threshold-based distributed algorithms by decomposition to decidable logics

This page was built for publication: Stratified guarded first-order transition systems