Constraint-Based Thread-Modular Abstract Interpretation
TR Number
Date
2018-07-25
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Virginia Tech
Abstract
Description
Keywords
abstract interpretation, concurrency, verification, static analysis