A very good book on verification Edited by J. G. Carbonell and J. Siekmann Verification of Object-Oriented Software-The KeY Approach