Formal Methods & Alloy in model checking

1. Introduction to Formal Method – 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,

find the cost of your paper