Constraint-Based Thread-Modular Abstract Interpretation

Constraint-Based Thread-Modular Abstract Interpretation

In this dissertation, I present a set of novel constraint-based thread-modular abstract-interpretation techniques for static analysis of concurrent programs. Specifically, I integrate a lightweight constraint solver into a thread-modular abstract interpreter to reason about inter-thread interference...

Full description

Bibliographic Details
Main Author: Kusano, Markus Jan Urban
Other Authors: Electrical and Computer Engineering
Format: Others
Published: Virginia Tech 2018
Subjects:
abstract interpretation
concurrency
verification
static analysis
Online Access:http://hdl.handle.net/10919/84399

Internet

http://hdl.handle.net/10919/84399

Similar Items