Towards Parallel Boolean Functional Synthesis
From MaRDI portal
Publication:3303903
DOI10.1007/978-3-662-54577-5_19zbMath1452.68112arXiv1703.01440MaRDI QIDQ3303903
S. Akshay, Supratik Chakraborty, Shetal Shah, Ajith K. John
Publication date: 5 August 2020
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1703.01440
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software