View of Formal Verification of Contractual Software Architectures using SPIN

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