×

zbMATH — the first resource for mathematics

Compositional may-must program analysis: unleashing the power of alternation. (English) Zbl 1312.68057
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 43-56 (2010).

MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
Bebop; CCured; DART; YASM; YOGI; z3
PDF BibTeX XML Cite
Full Text: DOI