Formal Specification-Based Inspection for Verification of Programs | IEEE Journals & Magazine | IEEE Xplore