Cibai

swMATH26821MaRDI QIDQ38550

No author found.

Described by source

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

Related Items (3)

Magic-sets for localised analysis of Java bytecode ⋮ 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

This page was built for software: Cibai