Abstraction-Based Interaction Model for Synthesis

DOI10.1007/978-3-319-73721-8_18zbMath1446.68034OpenAlexW2778214624MaRDI QIDQ3296340

Shachar Itzhaky, Sharon Shoham, Hila Peleg

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Programming by predicates: a formal model for interactive synthesis

This page was built for publication: Abstraction-Based Interaction Model for Synthesis