Revisiting Synthesis of GR(1) Specifications

DOI10.1007/978-3-642-19583-9_16MaRDI QIDQ5391527zbMATH OpenOpenAlexFDO

Authors Uri Klein, Amir Pnueli

Publication date 6 April 2011

Published in Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19583-9_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Interpolation-based GR(1) assumptions refinement
• Deformations of GR, geometrodynamics and reality conditions
• Effective synthesis of asynchronous systems from GR(1) specifications
• GR uniqueness and deformations
• The applicability of constrained symplectic integrators in general relativity
• Performance heuristics for GR(1) synthesis and related algorithms
• Relational observables in gravity: a review
• scientific article; zbMATH DE number 3693361
• Aspects of perturbative quantum gravity on synthetic spacetimes

Cited in

(11)

• A transformation-based synthesis of temporal specification
• GR(1)*: GR(1) specifications extended with existential guarantees
• Performance heuristics for GR(1) synthesis and related algorithms
• Interpolation-based GR(1) assumptions refinement
• Symbolic bounded synthesis
• Synthesis of succinct systems
• A weakness measure for GR(1) formulae
• A weakness measure for GR(1) formulae
• Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis
• Finite-trace and generalized-reactivity specifications in temporal synthesis
• GR(1)*: GR(1) specifications extended with existential guarantees

This page was built for publication: Revisiting Synthesis of GR(1) Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5391527)