Ramsay, Steven J.; Neatherway, Robin P.; Ong, C.-H. Luke A type-directed abstraction refinement approach to higher-order model checking. (English) Zbl 1284.68414 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 61-72 (2014). Cited in 17 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68W05 Nonnumerical algorithms 68Q42 Grammars and rewriting systems 68Q45 Formal languages and automata 03B70 Logic in computer science Keywords:abstraction refinement; higher-order model checking; intersection types Software:C-SHORe PDFBibTeX XMLCite \textit{S. J. Ramsay} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 61--72 (2014; Zbl 1284.68414) Full Text: DOI Link