Verifying numerical programs via iterative abstract testing

DOI10.1007/978-3-030-32304-2_13zbMATH Open1539.68187MaRDI QIDQ6536291

Liqian Chen, Jiangchao Liu, Banghu Yin, Ji Wang, Patrick Cousot

Publication date: 19 April 2024

zbMATH Keywords

abstract interpretationprogram verificationinput space partitioningabstract testing

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The octagon abstract domain
• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Model checking, testing and verification working together
• Counterexample-guided abstraction refinement for symbolic model checking
• Static analysis of arithmetical congruences
• Programming Languages and Systems
• Automatically Refining Abstract Interpretations

Related Items (1)

Parallel program analysis via range splitting

This page was built for publication: Verifying numerical programs via iterative abstract testing

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