research
∙
09/28/2017
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
We propose a constraint-based flow-sensitive static analysis for concurr...
research
∙
09/28/2017
Modular Verification of Interrupt-Driven Software
Interrupts have been widely used in safety-critical computer systems to ...
research
∙
09/28/2017