VMCAI 2017
29 papers
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
- Bringing LTL Model Checking to Biologists
- Complete Abstractions and Subclassical Modal Logics
- Conjunctive Abstract Interpretation Using Paramodulation
- Counterexample Validation and Interpolation-Based Refinement for Forest Automata
- Detecting All High-Level Dataraces in an RTOS Kernel
- Detecting Strict Aliasing Violations in the Wild
- Dynamic Reductions for Model Checking Concurrent Software
- Effective Bug Finding in C Programs with Shape and Effect Abstractions
- Efficient Elimination of Redundancies in Polyhedra by Raytracing
- Finding Relevant Templates via the Principal Component Analysis
- IC3 - Flipping the E in ICE
- Independence Abstractions and Models of Concurrency
- Matching Multiplications in Bit-Vector Formulas
- Partitioned Memory Models for Program Analysis
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
- Property Directed Reachability for Proving Absence of Concurrent Modification Errors
- Reachability for Dynamic Parametric Processes
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
- Reduction of Workflow Nets for Generalised Soundness Verification
- Solving Nonlinear Integer Arithmetic with MCSAT
- Sound Bit-Precise Numerical Domains
- Stabilizing Floating-Point Programs Using Provenance Analysis
- Static Analysis of Communicating Processes Using Symbolic Transducers
- Structuring Abstract Interpreters Through State and Value Abstractions
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
- Synthesizing Non-Vacuous Systems
- Using Abstract Interpretation to Correct Synchronization Faults