Cadena: an integrated development, analysis, and verification environment for component-based systems
Model checking JAVA programs using JAVA PathFinder