Cibai

swMATH26821MaRDI QIDQ38550FDOQ38550

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007%2F978-3-540-69738-1_21

Described by source

• Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes

Cited In (4)

• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• CSSV
• Magic-sets for localised analysis of Java bytecode

This page was built for software: Cibai