Term: cibai
Example: 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
Definition: cibai: an abstract interpretation-based static analyzer for modular analysis and verification of java classes