by francesco logozzo january 2007  we introduce cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of java classes
cibai: an abstract interpretation-based static analyzer for modular analysis and verification of java classes
"by francesco logozzo january 2007  we introduce cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of java classes" What is the definition of "cibai"?