Parallel program analysis via range splitting

DOI10.1007/978-3-031-30826-0_11MaRDI QIDQ6535222zbMATH OpenFDO

Authors Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30826-0_11

zbMATH Keywords

cooperative software verificationparallel configurable program analysisranged symbolic execution

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4020458
• Analysis of recursively parallel programs
• COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*
• scientific article; zbMATH DE number 836096
• scientific article; zbMATH DE number 1728436
• Program analysis techniques for transforming programs for parallel execution
• Inter-procedural analysis for parallel computing
• Compiler-based tools for analyzing parallel programs

Cites work

• \(\mathrm{PART}_{\mathrm{PW}}\): from partial analysis results to a proof witness
• A unifying view on SMT-based software verification
• Abstraction-driven concolic testing
• Abstractions from proofs
• Collaborative verification and testing with explicit assumptions
• Combining Coq and Gappa for Certifying Floating-Point Programs
• Compositional may-must program analysis: unleashing the power of alternation
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Constraint-based fitness function for search-based software testing
• Empirical software metrics for benchmarking of verification tools
• From under-approximations to over-approximations and back
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• Lazy abstraction
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
• Programming Languages and Systems
• Structurally defined conditional data-flow static analysis
• Symbolic execution and program testing
• Systematic design of program transformation frameworks by abstract interpretation
• Verifying numerical programs via iterative abstract testing

Cited in

(1)

• Detection of parallel executable steps for programs with arrays

This page was built for publication: Parallel program analysis via range splitting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535222)