Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties
Abstract elided by the publisher.
Related papers
- Design and implementation of sparse global analyses for C-like languages PLDI 2012
- Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation VMCAI 2015
- Global Sparse Analysis Framework TOPLAS 2014
- Verification of Erlang Programs using Abstract Interpretation and Model Mhecking ICFP 1999
- Temporal Abstract Interpretation POPL 2000
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- An abstract memory functor for verified C static analyzers ICFP 2016
- Trace Partitioning in Abstract Interpretation Based Static Analyzers ESOP 2005