Return to Article Details Formal Verification of Contractual Software Architectures using SPIN Download Download PDF