Structural Synthesis for GXW Specifications

DOI10.1007/978-3-319-41528-4_6zbMath1411.68059arXiv1605.01153OpenAlexW2347006063MaRDI QIDQ4633528

Chih-Hong Cheng, Harald Ruess, Yassine Hamza

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.01153

Mathematics Subject Classification ID

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

Related Items (2)

Linear temporal logic -- from infinite to finite horizon ⋮ Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations

This page was built for publication: Structural Synthesis for GXW Specifications