Revisiting Synthesis of GR(1) Specifications

DOI10.1007/978-3-642-19583-9_16zbMath1325.68151OpenAlexW1484201896MaRDI QIDQ5391527

Amir Pnueli, Uri Klein

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)

Related Items (2)

Symbolic bounded synthesis ⋮ GR(1)*: GR(1) specifications extended with existential guarantees

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