द्वारा कार्यक्रम br-bmc.sf.net

ACTL के लिए बाध्य मॉडल चेकिंग का उपयोग करके विश्वास संशोधन एल्गोरिदम का कार्यान्वयन