Formal 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 - in" rel="nofollow">introduce component use in" rel="nofollow">in writin" rel="nofollow">ing a model in" rel="nofollow">in Alloy e.g. sig, pred, fact, run etc 3. Reference in" rel="nofollow">in APA style format http://alloy.mit.edu/alloy/in" rel="nofollow">index.html