Saturn

swMATH1297MaRDI QIDQ14037

No author found.

Described by source

• Computer Aided Verification

Related Items (4)

Black-box testing based on colorful taint analysis ⋮ Constraint-Based Invariant Inference over Predicate Abstraction ⋮ Integration of verification methods for program systems ⋮ On the hierarchical community structure of practical Boolean formulas

This page was built for software: Saturn