Saturn

swMATH1297MaRDI QIDQ14037FDOQ14037

Author name not available (Why is that?)

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
• Constraint-Based Invariant Inference over Predicate Abstraction
• STP
• Integration of verification methods for program systems
• SaDiCaL
• PReLearn

This page was built for software: Saturn