CPBPV

swMATH164MaRDI QIDQ12932FDOQ12932

Author name not available (Why is that?)

Described by source

• CPBPV: a constraint-programming framework for bounded program verification

Cited In (2)

• Constraint-Based Fitness Function for Search-Based Software Testing
• Sharpening constraint programming approaches for bit-vector theory

This page was built for software: CPBPV