zbMATH — the first resource for mathematics

Making prophecies with decision predicates. (English) Zbl 1284.68389
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 399-410 (2011).

68Q60 Specification and verification (program logics, model checking, etc.)
03B44 Temporal logic
PDF BibTeX Cite
Full Text: DOI