DOI10.1145/2071368.2071369zbMath1351.68162arXiv1002.4616MaRDI QIDQ2946649
Arie Gurfinkel, Marsha Chechik
Publication date: 17 September 2015 Published in: ACM Transactions on Computational Logic (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1002.4616
zbMATH Keywords
vacuity detection
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic