The following pages link to Static Analysis (Q5466569):
Displaying 21 items.
- From invariant checking to invariant inference using randomized search (Q518404) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- The octagon abstract domain (Q853733) (← links)
- The octahedron abstract domain (Q859963) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294) (← links)
- Sparsity preserving algorithms for octagons (Q1650959) (← links)
- Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016 (Q1682301) (← links)
- Exact join detection for convex polyhedra and other numerical abstractions (Q2269830) (← links)
- The octagon abstract domain for continuous constraints (Q2342596) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Relational abstract domain of weighted hexagons (Q2814105) (← links)
- Geometric construction of basis for octahedron: Modification of Wachspress method (Q2897463) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308431) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- On the Monniaux problem in abstract interpretation (Q6536286) (← links)
