Saturn

MaRDI QIDQ14037swMATHFDO

Official website http://www.info2.uqam.ca/~villemaire_r/9340/travail/A05/Nouveaux/yxaaCAV05.pdf

Described by source

• Computer Aided Verification

Cited in

(7)

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

This page was built for software: Saturn