Formal Methods & Alloy in model checking

1. Introduction to Formal Method – define formal method in software engineering. – review and give short introduction of existing method for formal methods available – explain what is formal
verification 2. Alloy – define and explain what is Alloy & Alloy Analyzer – explain strong point/advantages/disadvantages using Alloy – introduce component use in writing a model in Alloy e.g. sig,

find the cost of your paper