What causes a system to satisfy a specification?
From MaRDI portal
Publication:5277809
DOI10.1145/1352582.1352588zbMath1367.68185arXivcs/0312036MaRDI QIDQ5277809
Orna Kupferman, Hana Chockler, Joseph Y. Halpern
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0312036
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)