Parallel program analysis via range splitting
From MaRDI portal
Publication:6535222
DOI10.1007/978-3-031-30826-0_11zbMATH Open1541.68107MaRDI QIDQ6535222
Heike Wehrheim, Cedric Richter, Marie-Christine Jakobs, Unnamed Author
Publication date: 24 November 2023
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Empirical software metrics for benchmarking of verification tools
- A unifying view on SMT-based software verification
- Structurally defined conditional data-flow static analysis
- Abstraction-driven Concolic Testing
- From Under-Approximations to Over-Approximations and Back
- Abstractions from proofs
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
- Combining Coq and Gappa for Certifying Floating-Point Programs
- Symbolic execution and program testing
- Collaborative Verification and Testing with Explicit Assumptions
- Constraint-Based Fitness Function for Search-Based Software Testing
- Lazy abstraction
- Systematic design of program transformation frameworks by abstract interpretation
- PART$$_\mathrm {PW}$$: From Partial Analysis Results to a Proof Witness
- Compositional may-must program analysis
- Programming Languages and Systems
- Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
- Verifying numerical programs via iterative abstract testing
Related Items (1)
Recommendations
- Unnamed Item 👍 👎
- Unnamed Item 👍 👎
- Unnamed Item 👍 👎
- Compiler-based tools for analyzing parallel programs 👍 👎
- Inter-procedural analysis for parallel computing 👍 👎
- Analysis of recursively parallel programs 👍 👎
- COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS* 👍 👎
- Program analysis techniques for transforming programs for parallel execution 👍 👎
This page was built for publication: Parallel program analysis via range splitting
