Saturn

swMATH1297MaRDI QIDQ14037FDOQ14037

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (4)

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

This page was built for software: Saturn