Methods & Alloy in model checking

Defin" rel="nofollow">ine formal method in" rel="nofollow">in software engin" rel="nofollow">ineerin" rel="nofollow">ing. - review and give short in" rel="nofollow">introduction of existin" rel="nofollow">ing method for formal methods available - explain" rel="nofollow">in what is formal verification 2. Alloy - defin" rel="nofollow">ine and explain" rel="nofollow">in what is Alloy & Alloy Analyzer - explain" rel="nofollow">in strong poin" rel="nofollow">int/advantages/disadvantages usin" rel="nofollow">ing Alloy